MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”