Formal methods for components and objects
by Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
No description available.
Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)Computer science