Vol-2502⫷ Vol-2503 ⫸Vol-2504
urn:nbn:de:0074-2503-0


Vol-2503/paper1_10⫷Vol-2503/paper1_11⫸Vol-2503/paper1_12
Michael D. HarrisonJosé Creissac Campos

Formal Verification of Interactive Computing Systems: Opportunities and Challenges