Bjørner, D., & Henson, M. C. (2008). Logics of specification languages. Springer.
Chicago Style (17th ed.) CitationBjørner, D., and Martin C. Henson. Logics of Specification Languages. Berlin: Springer, 2008.
MLA (9th ed.) CitationBjørner, D., and Martin C. Henson. Logics of Specification Languages. Springer, 2008.
Warning: These citations may not always be 100% accurate.