Incollection,
Challenges of Existing Technology.
H. Chockler, D. Kroening, L. Mariani, and N. Sharygina.Validation of Evolving Software, Springer, (2015)
Meta data
- BibTeX key
- books/sp/15/ChocklerKMS15a
- entry type
- incollection
- booktitle
- Validation of Evolving Software
- year
- 2015
- pages
- 7-17
- publisher
- Springer
- crossref
- books/sp/CKMS2015
- ee
- https://doi.org/10.1007/978-3-319-10623-6_2
- isbn
- 978-3-319-10623-6
- url
- http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#ChocklerKMS15a
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Book Section
%1 books/sp/15/ChocklerKMS15a
%A Chockler, Hana
%A Kroening, Daniel
%A Mariani, Leonardo
%A Sharygina, Natasha
%B Validation of Evolving Software
%D 2015
%E Chockler, Hana
%E Kroening, Daniel
%E Mariani, Leonardo
%E Sharygina, Natasha
%I Springer
%K dblp
%P 7-17
%T Challenges of Existing Technology.
%U http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#ChocklerKMS15a
%@ 978-3-319-10623-6
@incollection{books/sp/15/ChocklerKMS15a,
added-at = {2019-10-19T00:00:00.000+0200},
author = {Chockler, Hana and Kroening, Daniel and Mariani, Leonardo and Sharygina, Natasha},
biburl = {https://www.bibsonomy.org/bibtex/2bf4dbce7358b85cbb25e5caabc4a695d/dblp},
booktitle = {Validation of Evolving Software},
crossref = {books/sp/CKMS2015},
editor = {Chockler, Hana and Kroening, Daniel and Mariani, Leonardo and Sharygina, Natasha},
ee = {https://doi.org/10.1007/978-3-319-10623-6_2},
interhash = {76ba5f6e824755542912a01043777532},
intrahash = {bf4dbce7358b85cbb25e5caabc4a695d},
isbn = {978-3-319-10623-6},
keywords = {dblp},
pages = {7-17},
publisher = {Springer},
timestamp = {2019-10-22T13:20:08.000+0200},
title = {Challenges of Existing Technology.},
url = {http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#ChocklerKMS15a},
year = 2015
}