- Peter Bulychev
- Alexandre David
- Kim G. Larsen
- Guangyuan Li
Acta Informatica, vol. 50 (2013), pp. 1-28
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