Publikacje

Czasopismo: Formal Aspects Of Computing

Liczba publikacji: 2

2014

• Andrzej Tarlecki, Władysław Marek Turski (1938 - 2013), Formal Aspects Of Computing 26 (5) 2014, s. 863––864.zobacz w PBN

2002

• Andrzej Tarlecki, Michel Bidoit i Don Sannella, Architectural Specifications in CASL, Formal Aspects Of Computing 13 2002, s. 252–273.zobacz w PBN