Inproceedings,
Abstractions for Validation in Action.
G. de Caso, V. Braberman, D. Garbervetsky, and S. Uchitel.SFM, volume 7320 of Lecture Notes in Computer Science, page 192-218. Springer, (2012)
Meta data
- BibTeX key
- conf/sfm/CasoBGU12
- entry type
- inproceedings
- booktitle
- SFM
- year
- 2012
- pages
- 192-218
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 7320
- crossref
- conf/sfm/2012
- ee
- https://doi.org/10.1007/978-3-642-30982-3_6
- isbn
- 978-3-642-30981-6
- url
- http://dblp.uni-trier.de/db/conf/sfm/sfm2012.html#CasoBGU12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sfm/CasoBGU12
%A de Caso, Guido
%A Braberman, Víctor A.
%A Garbervetsky, Diego
%A Uchitel, Sebastián
%B SFM
%D 2012
%E Bernardo, Marco
%E Cortellessa, Vittorio
%E Pierantonio, Alfonso
%I Springer
%K
%P 192-218
%T Abstractions for Validation in Action.
%U http://dblp.uni-trier.de/db/conf/sfm/sfm2012.html#CasoBGU12
%V 7320
%@ 978-3-642-30981-6
@inproceedings{conf/sfm/CasoBGU12,
added-at = {2023-12-13T04:50:22.000+0100},
author = {de Caso, Guido and Braberman, Víctor A. and Garbervetsky, Diego and Uchitel, Sebastián},
biburl = {https://www.bibsonomy.org/bibtex/29f41d4622e2f4ec47a2634a084cd9bad/admin},
booktitle = {SFM},
crossref = {conf/sfm/2012},
editor = {Bernardo, Marco and Cortellessa, Vittorio and Pierantonio, Alfonso},
ee = {https://doi.org/10.1007/978-3-642-30982-3_6},
interhash = {9afd6506b8715e520169822220d5c062},
intrahash = {9f41d4622e2f4ec47a2634a084cd9bad},
isbn = {978-3-642-30981-6},
keywords = {},
pages = {192-218},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T04:50:22.000+0100},
title = {Abstractions for Validation in Action.},
url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2012.html#CasoBGU12},
volume = 7320,
year = 2012
}