Publications of M. Henson D. Bjorner sorted by journal and type
Publications of type Incollection
2008
| , , and , CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 |
[DOI] |