Inproceedings,
Symbolic software model validation.
C. Sturton, R. Sinha, T. Dang, S. Jain, M. McCoyd, W. Tan, P. Maniatis, S. Seshia, and D. Wagner.MEMOCODE, page 97-108. IEEE, (2013)
Meta data
- BibTeX key
- conf/memocode/SturtonSDJMTMSW13
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2013
- pages
- 97-108
- publisher
- IEEE
- crossref
- conf/memocode/2013
- ee
- http://dl.acm.org/citation.cfm?id=3041489
- isbn
- 978-1-4799-0903-2
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2013.html#SturtonSDJMTMSW13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/SturtonSDJMTMSW13
%A Sturton, Cynthia
%A Sinha, Rohit
%A Dang, Thurston H. Y.
%A Jain, Sakshi
%A McCoyd, Michael
%A Tan, Wei Yang
%A Maniatis, Petros
%A Seshia, Sanjit A.
%A Wagner, David A.
%B MEMOCODE
%D 2013
%I IEEE
%K
%P 97-108
%T Symbolic software model validation.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2013.html#SturtonSDJMTMSW13
%@ 978-1-4799-0903-2
@inproceedings{conf/memocode/SturtonSDJMTMSW13,
added-at = {2023-12-14T16:04:20.000+0100},
author = {Sturton, Cynthia and Sinha, Rohit and Dang, Thurston H. Y. and Jain, Sakshi and McCoyd, Michael and Tan, Wei Yang and Maniatis, Petros and Seshia, Sanjit A. and Wagner, David A.},
biburl = {https://www.bibsonomy.org/bibtex/2fe6a56639f26e49fa86b9169dcb31ea7/admin},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2013},
ee = {http://dl.acm.org/citation.cfm?id=3041489},
interhash = {f32094567bdf50d2bd4c430d44e24649},
intrahash = {fe6a56639f26e49fa86b9169dcb31ea7},
isbn = {978-1-4799-0903-2},
keywords = {},
pages = {97-108},
publisher = {IEEE},
timestamp = {2023-12-14T16:04:20.000+0100},
title = {Symbolic software model validation.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2013.html#SturtonSDJMTMSW13},
year = 2013
}