Software Engineering: vol. 1: Abstraction and Modelling
Bjorner , D.
Software Engineering: vol. 1: Abstraction and Modelling D. Bjorner - Berlin Springer 2006
Software Engineering: vol. 1: Abstraction and Modelling D. Bjorner - Berlin Springer 2006