- Soren B. Lassen
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), IEEE Computer Society (2005), pp. 345-354
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