- Soren B. Lassen
- Paul Blain Levy
Proceedings of the 21st International Workshop on Computer Science Logic (CSL'07), Springer Verlag, Berlin/Heidelberg (2007), pp. 283-297
No abstract available; check out the Download or Google Scholar links above for publications details.
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work