Leveraging Applications of Formal Methods
Subtitle: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540489290