MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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