selected publications
-
chapter
- On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. Lecture notes in computer science. 604-618. 2014
Close
Aït-Ameur, Yamine
Positions
Publications
Contact
full name
- Yamine Aït-Ameur
Publications in VIVO
Co-author Network