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
{"_id":"gyAo86er2cJYcJN6i","bibbaseid":"aitameur-gibson-mry-onimplicitandexplicitsemanticsintegrationissuesinproofbaseddevelopmentofsystems-2014","author_short":["Ait-Ameur, Y.","Gibson, J. P.","Méry, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Ait-Ameur"],"firstnames":["Yamine"],"suffixes":[]},{"propositions":[],"lastnames":["Gibson"],"firstnames":["J.","Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Méry"],"firstnames":["Dominique"],"suffixes":[]}],"year":"2014","keywords":"⛔ No DOI found","pages":"604–618","bibtex":"@inproceedings{ait-ameurImplicitExplicitSemantics2014,\n\ttitle = {On implicit and explicit semantics: {Integration} issues in proof-based development of systems},\n\tshorttitle = {On implicit and explicit semantics},\n\tbooktitle = {International {Symposium} {On} {Leveraging} {Applications} of {Formal} {Methods}, {Verification} and {Validation}},\n\tpublisher = {Springer},\n\tauthor = {Ait-Ameur, Yamine and Gibson, J. Paul and Méry, Dominique},\n\tyear = {2014},\n\tkeywords = {⛔ No DOI found},\n\tpages = {604--618},\n}\n\n","author_short":["Ait-Ameur, Y.","Gibson, J. P.","Méry, D."],"key":"ait-ameurImplicitExplicitSemantics2014","id":"ait-ameurImplicitExplicitSemantics2014","bibbaseid":"aitameur-gibson-mry-onimplicitandexplicitsemanticsintegrationissuesinproofbaseddevelopmentofsystems-2014","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["implicit","explicit","semantics","integration","issues","proof","based","development","systems","ait-ameur","gibson","méry"],"title":"On implicit and explicit semantics: Integration issues in proof-based development of systems","year":2014}