Program Correctness by Transformation.

Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari

Browse the full ISoLA paper archive.