Inproceedings,
Configuration-Aware Contracts.
I. Sljivo, B. Gallina, J. Carlson, and H. Hansson.SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 43-54. Springer, (2016)
Meta data
- BibTeX key
- conf/safecomp/SljivoGCH16
- entry type
- inproceedings
- booktitle
- SAFECOMP Workshops
- year
- 2016
- pages
- 43-54
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9923
- crossref
- conf/safecomp/2016w
- ee
- https://doi.org/10.1007/978-3-319-45480-1_4
- isbn
- 978-3-319-45479-5
- url
- http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016w.html#SljivoGCH16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/safecomp/SljivoGCH16
%A Sljivo, Irfan
%A Gallina, Barbara
%A Carlson, Jan
%A Hansson, Hans A.
%B SAFECOMP Workshops
%D 2016
%E Skavhaug, Amund
%E Guiochet, Jérémie
%E Schoitsch, Erwin
%E Bitsch, Friedemann
%I Springer
%K dblp
%P 43-54
%T Configuration-Aware Contracts.
%U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016w.html#SljivoGCH16
%V 9923
%@ 978-3-319-45479-5
@inproceedings{conf/safecomp/SljivoGCH16,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Sljivo, Irfan and Gallina, Barbara and Carlson, Jan and Hansson, Hans A.},
biburl = {https://www.bibsonomy.org/bibtex/2cd02ee8e7110915aeaeace97a1762c20/dblp},
booktitle = {SAFECOMP Workshops},
crossref = {conf/safecomp/2016w},
editor = {Skavhaug, Amund and Guiochet, Jérémie and Schoitsch, Erwin and Bitsch, Friedemann},
ee = {https://doi.org/10.1007/978-3-319-45480-1_4},
interhash = {f15c6ab9e14ed8d1feb909150df4d90c},
intrahash = {cd02ee8e7110915aeaeace97a1762c20},
isbn = {978-3-319-45479-5},
keywords = {dblp},
pages = {43-54},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:35:27.000+0200},
title = {Configuration-Aware Contracts.},
url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016w.html#SljivoGCH16},
volume = 9923,
year = 2016
}