Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/date/IannopolloNTS14
%A Iannopollo, Antonio
%A Nuzzo, Pierluigi
%A Tripakis, Stavros
%A Sangiovanni-Vincentelli, Alberto L.
%B DATE
%D 2014
%E Fettweis, Gerhard P.
%E Nebel, Wolfgang
%I European Design and Automation Association
%K
%P 1-6
%T Library-based scalable refinement checking for contract-based design.
%U http://dblp.uni-trier.de/db/conf/date/date2014.html#IannopolloNTS14
%@ 978-3-9815370-2-4
@inproceedings{conf/date/IannopolloNTS14,
added-at = {2023-12-13T00:22:05.000+0100},
author = {Iannopollo, Antonio and Nuzzo, Pierluigi and Tripakis, Stavros and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/2c1a5021414395dbea8e2b8af8c2c59ce/admin},
booktitle = {DATE},
crossref = {conf/date/2014},
editor = {Fettweis, Gerhard P. and Nebel, Wolfgang},
ee = {http://dl.acm.org/citation.cfm?id=2616796},
interhash = {625c00e1ce949172e441c5e545c4319b},
intrahash = {c1a5021414395dbea8e2b8af8c2c59ce},
isbn = {978-3-9815370-2-4},
keywords = {},
pages = {1-6},
publisher = {European Design and Automation Association},
timestamp = {2023-12-13T00:22:05.000+0100},
title = {Library-based scalable refinement checking for contract-based design.},
url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#IannopolloNTS14},
year = 2014
}