Leveraging Applications of Formal Methods
ISoLA 2004: Paphos, Cyprus
Tiziana Margaria, Bernhard Steffen (Eds.):
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 4313 Springer 2006, ISBN 3-540-48928-2
Contents BibTeX
Copyright © Wed Jun 4 18:45:00 2008
by Michael Ley (ley@uni-trier.de)
