Handling Heterogeneity in Formal Developments of Hardware and Software Systems.

Yamine At Ameur, Dominique Mry

Browse the full ISoLA paper archive.