Vol-417⫷ Vol-418 ⫸Vol-419
urn:nbn:de:0074-418-0


Vol-418/paper-6⫷Vol-418/paper-7⫸Vol-418/paper-8
Gerhard SchellhornSimon BäumlerMichael BalserWolfgang Reif

Interactive Verification of Concurrent Systems using Symbolic Execution