Logics of Specification Languages

MLA

Bjørner, Dines, Dines Bjorner, and Martin C Henson. Logics of Specification Languages. Springer Berlin Heidelberg, 2008.

APA

Bjørner, D., Bjorner, D., & Henson, M. C. (2008). Logics of Specification Languages. Springer Berlin Heidelberg.

Chicago

Bjørner, Dines, Dines Bjorner, and Martin C Henson. Logics of Specification Languages. : Springer Berlin Heidelberg, 2008.