Keywords:
Publications of Andrzej Tarlecki
2009
| and , Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 |
[DOI] |
| , and , What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) |
[DOI] |
2008
| , , and , CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 |
[DOI] |