Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Czasopismo: ACM Computing Surveys
Liczba publikacji: 11999
- Donald Sannella, Andrzej Tarlecki , Algebraic Methods for Specification and Formal Development of Programs, ACM Computing Surveys, 1999. Zobacz w PBN
