Open menu
Frank S. De Boer,Marcello M. Bonsangue,Stefan Hallerstede
Formal Methods for Components and Objects