Formal Methods for Executable Software Models
Publisher: Springer
Published: May 21, 2014
Format: paperback
Number of pages: 351
ISBN-13: 9783319073163
Notes: Source title: Formal Methods for Executable Software Models (Lecture Notes in Computer Science (8483))