FM 2014 : Formal Methods
Subtitle: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
ISBN-13: 9783319064109