From Software Engineering to Formal Methods and Tools, and Back

MLA

ter Beek, Alessandro Fantechi, and Laura Semini. From Software Engineering to Formal Methods and Tools, and Back. Springer International Publishing, 2019.

APA

ter Beek, t. Beek, Fantechi, A., & Semini, L. (2019). From Software Engineering to Formal Methods and Tools, and Back. Springer International Publishing.

Chicago

ter Beek, Alessandro Fantechi, and Laura Semini. From Software Engineering to Formal Methods and Tools, and Back. : Springer International Publishing, 2019.