Cuellar, J. (2017). FM 2008: Formal Methods. Springer.
Chicago Style CitationCuellar, Jorge. FM 2008: Formal Methods. Springer, 2017.
MLA CitationCuellar, Jorge. FM 2008: Formal Methods. Springer, 2017.
Warning: These citations may not always be 100% accurate.