Formal Methods
Subtitle: Applications and Technology
Publisher: Springer
Published: Aug 31, 2008
Format: paperback
ISBN-13: 9783540835561
Notes: Source title: Formal Methods: Applications and Technology