Publikacje

Czasopismo: Acm Computing Surveys

Liczba publikacji: 1

1999

• Donald Sannella i Andrzej Tarlecki, Algebraic Methods for Specification and Formal Development of Programs, Acm Computing Surveys 31 (3es) 1999, s. 10.zobacz w PBN