Vol-1139⫷ Vol-1140 ⫸Vol-1141
urn:nbn:de:0074-1140-0


Vol-1140/paper2⫷Vol-1140/paper3⫸Vol-1140/paper4
Thomas S. HeinzeWolfram AmmeSimon Moser

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited