Formal Methods
Subtitle: State of the Art and New Directions
Publisher: Springer
Published: May 03, 2010
Format: paperback
Number of pages: 300
ISBN-13: 9781848827370
Notes: Source title: Formal Methods: State of the Art and New Directions