[ACM Press Companion Proceedings for the ISSTA/ECOOP 2018 Workshops - Amsterdam, Netherlands (2018.07.16-2018.07.21)] Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18 - An exercise in verifying sequential programs with VerCors
Joosten, Sebastiaan J. C., Oortwijn, Wytse, Safari, Mohsen, Huisman, MariekeYear:
2018
Language:
english
DOI:
10.1145/3236454.3236479
File:
PDF, 598 KB
english, 2018