Modelling by Patterns for Correct-by-Construction Process.

Dominique Mry

Browse the full ISoLA paper archive.