On implicit and explicit semantics: Integration issues in proof-based development of systems. Ait-Ameur, Y., Gibson, J. P., & Méry, D. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pages 604–618, 2014. Springer.
bibtex   
@inproceedings{ait-ameurImplicitExplicitSemantics2014,
	title = {On implicit and explicit semantics: {Integration} issues in proof-based development of systems},
	shorttitle = {On implicit and explicit semantics},
	booktitle = {International {Symposium} {On} {Leveraging} {Applications} of {Formal} {Methods}, {Verification} and {Validation}},
	publisher = {Springer},
	author = {Ait-Ameur, Yamine and Gibson, J. Paul and Méry, Dominique},
	year = {2014},
	keywords = {⛔ No DOI found},
	pages = {604--618},
}

Downloads: 0