Vol-371⫷ Vol-372 ⫸Vol-373
urn:nbn:de:0074-372-0


Vol-372/paper-2⫷Vol-372/paper-3⫸Vol-372/paper-4
Hasan AmjadRichard Bornat

Model Checking for Stability Analysis in Rely-Guarantee Proofs