Vol-1276⫷ Vol-1277 ⫸Vol-1278
urn:nbn:de:0074-1277-0


Vol-1277/paper1⫷Vol-1277/paper7⫸Vol-1277/paper8
Dan Zhang 0002Luc EngelenDragan BosnackiAnton WijsCornelis HuizingRuurd Kuiper 0001Mark van den Brand

Towards Verified Java Code Generation from Concurrent State Machines