Formal Specification Level

MLA

Soeken, Mathias, and Rolf Drechsler. Formal Specification Level. Springer International Publishing, 2015.

APA

Soeken, M., & Drechsler, R. (2015). Formal Specification Level. Springer International Publishing.

Chicago

Soeken, Mathias, and Rolf Drechsler. Formal Specification Level. : Springer International Publishing, 2015.