Formal Methods
Subtitle: State of the Art and New Directions
Publisher: Springer
Published: Oct 20, 2014
Format: paperback
Number of pages: 300
ISBN-13: 9781447157458
Notes: Source title: Formal Methods: State of the Art and New Directions