Nasa Formal Methods : 4th International Symposium, Nfm 2012, Norfolk, Va, USA, April 3-5, 2012, Proceedings
ISBN: 9783642288913
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.