Formal Methods and Software Engineering

MLA

Butler, Sylvain Conchon, and Fatiha Zaïdi. Formal Methods and Software Engineering. Springer International Publishing, 2015.

APA

Butler, B., Conchon, S., & Zaïdi, F. (2015). Formal Methods and Software Engineering. Springer International Publishing.

Chicago

Butler, Sylvain Conchon, and Fatiha Zaïdi. Formal Methods and Software Engineering. : Springer International Publishing, 2015.