On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read.

Yamine At Ameur, J. Paul Gibson, Dominique Mry

Browse the full ISoLA paper archive.