Formal methods for components and objects
de Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
de Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
Springer London, Limited · inglés · ISBN 9783540396567
Springer · inglés · ISBN 9783540203032
