Soeken, M., & Drechsler, R. (2015). Formal specification level: Concepts, methods, and algorithms. Springer International Publishing. https://doi.org/10.1007/978-3-319-08699-6
Cita Chicago (17th ed.)Soeken, Mathias, i Rolf Drechsler. Formal Specification Level: Concepts, Methods, and Algorithms. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-08699-6.
Cita MLA (9th ed.)Soeken, Mathias, i Rolf Drechsler. Formal Specification Level: Concepts, Methods, and Algorithms. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-08699-6.
Atenció: Aquestes cites poden no estar 100% correctes.