Automated Technology for Verification and Analysis Susanne Graf, Wenhui Zhang 456,60 DKK See product
Formal Methods for Components and Objects Frank S.de Boer, Marcello Bonsangue, Susanne Graf 456,60 DKK See product
