You are not logged in |
Back to the list of the institutes
Publications
Journal: ACM Computing Surveys
Number of publications: 11999
- Donald Sannella, Andrzej Tarlecki , Algebraic Methods for Specification and Formal Development of Programs, ACM Computing Surveys, 1999. See in PBN
