Meta data
- BibTeX key
- conf/csee/TuTOBHKY11
- entry type
- inproceedings
- booktitle
- CSEE&T
- year
- 2011
- pages
- 129-138
- publisher
- IEEE Computer Society
- crossref
- conf/csee/2011
- ee
- https://doi.ieeecomputersociety.org/10.1109/CSEET.2011.5876080
- isbn
- 978-1-4577-0348-5
- url
- http://dblp.uni-trier.de/db/conf/csee/csee2011.html#TuTOBHKY11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/csee/TuTOBHKY11
%A Tu, Shengru
%A Tankashala, Shireesha
%A Oh, Sehun
%A Becker, Brian
%A Horton, Brian
%A Kallem, Aditya
%A Yang, Zhao
%B CSEE&T
%D 2011
%E Thompson, J. Barrie
%E Navarro, Emily Oh
%E Port, Dan
%I IEEE Computer Society
%K dblp
%P 129-138
%T Turning real-world systems into verification-driven learning cases.
%U http://dblp.uni-trier.de/db/conf/csee/csee2011.html#TuTOBHKY11
%@ 978-1-4577-0348-5
@inproceedings{conf/csee/TuTOBHKY11,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Tu, Shengru and Tankashala, Shireesha and Oh, Sehun and Becker, Brian and Horton, Brian and Kallem, Aditya and Yang, Zhao},
biburl = {https://www.bibsonomy.org/bibtex/25838180a051389bdeb3bac1f3cc93982/dblp},
booktitle = {CSEE&T},
crossref = {conf/csee/2011},
editor = {Thompson, J. Barrie and Navarro, Emily Oh and Port, Dan},
ee = {https://doi.ieeecomputersociety.org/10.1109/CSEET.2011.5876080},
interhash = {e18be02bfc80bdfbd27cfe6efc8e6631},
intrahash = {5838180a051389bdeb3bac1f3cc93982},
isbn = {978-1-4577-0348-5},
keywords = {dblp},
pages = {129-138},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T16:01:16.000+0200},
title = {Turning real-world systems into verification-driven learning cases.},
url = {http://dblp.uni-trier.de/db/conf/csee/csee2011.html#TuTOBHKY11},
year = 2011
}