DC FieldValueLanguage
dc.contributor.authorGovind V K, Hari-
dc.contributor.authorShoham, Sharon-
dc.contributor.authorGurfinkel, Arie-
dc.date.accessioned2021-10-13T13:50:44Z-
dc.date.available2021-10-13T13:50:44Z-
dc.date.issued2021-10-
dc.identifier.citation<div class="csl-bib-body"> <div class="csl-entry">Govind V K, H., Shoham, S., &#38; Gurfinkel, A. (2021). Logical Characterization of Coherent Uninterpreted Programs. In <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021</i> (pp. 77–85). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_16</div> </div>-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/18639-
dc.identifier.urihttps://doi.org/10.34727/2021/isbn.978-3-85448-046-4_16-
dc.language.isoen-
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/-
dc.subjectformal methoden
dc.subjectformale Methodede
dc.titleLogical Characterization of Coherent Uninterpreted Programsen
dc.typeInproceedingsen
dc.typeKonferenzbeitragde
dc.rights.licenseCreative Commons Namensnennung 4.0 Internationalde
dc.rights.licenseCreative Commons Attribution 4.0 Internationalen
dc.identifier.doi10.34727/2021/isbn.978-3-85448-046-4_16-
dc.contributor.affiliationUniversity of Waterloo, Canada-
dc.contributor.affiliationTel-Aviv University, Israel-
dc.contributor.affiliationUniversity of Waterloo, Canada-
dc.relation.isbn978-3-85448-046-4-
dc.relation.doi10.34727/2021/isbn.978-3-85448-046-4-
dc.description.volume2-
dc.description.startpage77-
dc.description.endpage85-
dc.relation.eissn2708-7824-
tuw.booktitleProceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021-
tuw.peerreviewedtrue-
tuw.relation.publisherTU Wien Academic Press-
tuw.relation.publisherplaceWien-
tuw.book.chapter16-
tuw.publication.orgunitE192-04 - Forschungsbereich Formal Methods in Systems Engineering-
dc.description.numberOfPages9-
tuw.relation.ispartoftuwseriesConference Series: Formal Methods in Computer-Aided Design-
tuw.author.orcid0000-0002-2789-5997-
tuw.author.orcid0000-0002-7226-3526-
tuw.author.orcid0000-0002-5964-6792-
dc.rights.identifierCC BY 4.0de
dc.rights.identifierCC BY 4.0en
dc.description.sponsorshipexternalEuropean Research Council-
dc.description.sponsorshipexternalUnited States-Israel Binational Science Foundation (BSF)-
dc.description.sponsorshipexternalIsraeli Science Foundation (ISF)-
dc.relation.grantnoexternal759102-SVIS-
dc.relation.grantnoexternal2016260-
dc.relation.grantnoexternal1810/18-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.fulltextwith Fulltext-
item.grantfulltextopen-
item.openaccessfulltextOpen Access-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeInproceedings-
item.openairetypeKonferenzbeitrag-
crisitem.author.deptUniversity of Waterloo, Canada-
crisitem.author.deptTel-Aviv University, Israel-
crisitem.author.deptUniversity of Waterloo, Canada-
crisitem.author.orcid0000-0002-5964-6792-
Appears in Collections:Conference Paper
Open Access Series

Files in this item:


Page view(s)

22
checked on Dec 5, 2021

Download(s)

47
checked on Dec 5, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons