Vol-2244⫷ Vol-2245 ⫸Vol-2246
urn:nbn:de:0074-2245-0


Vol-2245/modevva_intro⫷Vol-2245/modevva_paper_1⫸Vol-2245/modevva_paper_2

ProVer: An SMT-based Approach for Process Verification