Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract)

by Michel Bidoit , Donald Sannella , Andrzej Tarlecki
Citations:5 - 2 self