FM 2014 : Formal Methods
Subtitle: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Publisher: Springer
Published: Apr 09, 2014
Format: paperback
Number of pages: 768
ISBN-13: 9783319064093
Notes: Source title: FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science (8442))