Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.

Iman Poernomo, Jeffrey Terrell

Browse the full ICFEM paper archive.