Fm 2014 : Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ISBN: 9783319064093
Information Available:
Summary
Inside Flap
Table Of Contents
Copyright held by Baker & Taylor.