Software Engineering and Formal Methods

MLA

Steve Counsell, Manuel Núñez, and Manuel Núñez. Software Engineering and Formal Methods. Springer International Publishing, 2014.

APA

Steve Counsell, M. Núñez, & Núñez, M. (2014). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Steve Counsell, Manuel Núñez, and Manuel Núñez. Software Engineering and Formal Methods. : Springer International Publishing, 2014.