Software Engineering and Formal Methods

MLA

Radu Calinescu, and Corina S Păsăreanu. Software Engineering and Formal Methods. Springer International Publishing, 2021.

APA

Radu Calinescu, R. Calinescu, & Păsăreanu, C. S. (2021). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Radu Calinescu, and Corina S Păsăreanu. Software Engineering and Formal Methods. : Springer International Publishing, 2021.