Special issue: Selected papers based on the presentations at the 2nd international workshop on formal methods for interactive systems (FMIS 2007), Lancaster, UK, September 4, 2007.

No author found.

Publication date: 8 December 2009

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

This page was built for publication: Special issue: Selected papers based on the presentations at the 2nd international workshop on formal methods for interactive systems (FMIS 2007), Lancaster, UK, September 4, 2007.