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