Inproceedings,
Hypercontracts.
I. Incer, A. Benveniste, A. Sangiovanni-Vincentelli, and S. Seshia.NFM, volume 13260 of Lecture Notes in Computer Science, page 674-692. Springer, (2022)
Meta data
- BibTeX key
- conf/nfm/IncerBSS22
- entry type
- inproceedings
- booktitle
- NFM
- year
- 2022
- pages
- 674-692
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13260
- crossref
- conf/nfm/2022
- ee
- https://doi.org/10.1007/978-3-031-06773-0_36
- isbn
- 978-3-031-06773-0
- url
- http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IncerBSS22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nfm/IncerBSS22
%A Incer, Inigo
%A Benveniste, Albert
%A Sangiovanni-Vincentelli, Alberto L.
%A Seshia, Sanjit A.
%B NFM
%D 2022
%E Deshmukh, Jyotirmoy V.
%E Havelund, Klaus
%E Perez, Ivan
%I Springer
%K dblp
%P 674-692
%T Hypercontracts.
%U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IncerBSS22
%V 13260
%@ 978-3-031-06773-0
@inproceedings{conf/nfm/IncerBSS22,
added-at = {2022-05-23T00:00:00.000+0200},
author = {Incer, Inigo and Benveniste, Albert and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/2792971ac291f0585646bf6744b08cf37/dblp},
booktitle = {NFM},
crossref = {conf/nfm/2022},
editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan},
ee = {https://doi.org/10.1007/978-3-031-06773-0_36},
interhash = {6da3be70665bdd3b34e56585cec56874},
intrahash = {792971ac291f0585646bf6744b08cf37},
isbn = {978-3-031-06773-0},
keywords = {dblp},
pages = {674-692},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T23:35:33.000+0200},
title = {Hypercontracts.},
url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#IncerBSS22},
volume = 13260,
year = 2022
}