@inproceedings{ait-ameur_implicit_2014,
	title = {On {Implicit} and {Explicit} {Semantics}: {Integration} issues in proof-based development of systems? {Version} to read},
	shorttitle = {On {Implicit} and {Explicit} {Semantics}},
	booktitle = {Leveraging {Applications} of {Formal} {Methods}, {Verification} and {Validation}. {Specialized} {Techniques} and {Applications}-6th {International} {Symposium}, {Proceedings}},
	author = {Ait-Ameur, Yamine and Gibson, J. Paul and Méry, Dominique},
	year = {2014},
	note = {issue: Part II},
	keywords = {⛔ No DOI found},
	pages = {604--618},
}

{"_id":"NciDFvowhZzXMpGiW","bibbaseid":"aitameur-gibson-mry-onimplicitandexplicitsemanticsintegrationissuesinproofbaseddevelopmentofsystemsversiontoread-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? Version to read","shorttitle":"On Implicit and Explicit Semantics","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications-6th International Symposium, Proceedings","author":[{"propositions":[],"lastnames":["Ait-Ameur"],"firstnames":["Yamine"],"suffixes":[]},{"propositions":[],"lastnames":["Gibson"],"firstnames":["J.","Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Méry"],"firstnames":["Dominique"],"suffixes":[]}],"year":"2014","note":"issue: Part II","keywords":"⛔ No DOI found","pages":"604–618","bibtex":"@inproceedings{ait-ameur_implicit_2014,\n\ttitle = {On {Implicit} and {Explicit} {Semantics}: {Integration} issues in proof-based development of systems? {Version} to read},\n\tshorttitle = {On {Implicit} and {Explicit} {Semantics}},\n\tbooktitle = {Leveraging {Applications} of {Formal} {Methods}, {Verification} and {Validation}. {Specialized} {Techniques} and {Applications}-6th {International} {Symposium}, {Proceedings}},\n\tauthor = {Ait-Ameur, Yamine and Gibson, J. Paul and Méry, Dominique},\n\tyear = {2014},\n\tnote = {issue: Part II},\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-ameur_implicit_2014","id":"ait-ameur_implicit_2014","bibbaseid":"aitameur-gibson-mry-onimplicitandexplicitsemanticsintegrationissuesinproofbaseddevelopmentofsystemsversiontoread-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","version","read","ait-ameur","gibson","méry"],"title":"On Implicit and Explicit Semantics: Integration issues in proof-based development of systems? Version to read","year":2014}