You are not logged in |
Back to the list of the institutes
Publications
Journal: Formal Aspects of Computing
Number of publications: 32014
- Andrzej Tarlecki , Władysław Marek Turski (1938 - 2013), Formal Aspects of Computing, 2014. See in PBN
- Andrzej Tarlecki , Władysław Marek Turski (1938-2013), Formal Aspects of Computing, 2014. See in PBN
2002
- Michel Bidoit, Don Sannella, Andrzej Tarlecki , Architectural Specifications in CASL, Formal Aspects of Computing, 2002. See in PBN
