Inproceedings,
Formalizing hardware/software interface specifications.
J. Li, F. Xie, T. Ball, V. Levin, and C. McGarvey.ASE, page 143-152. IEEE Computer Society, (2011)
Meta data
- BibTeX key
- conf/kbse/LiXBLM11
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2011
- pages
- 143-152
- publisher
- IEEE Computer Society
- crossref
- conf/kbse/2011
- ee
- https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100048
- isbn
- 978-1-4577-1638-6
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#LiXBLM11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/LiXBLM11
%A Li, Juncao
%A Xie, Fei
%A Ball, Thomas
%A Levin, Vladimir
%A McGarvey, Con
%B ASE
%D 2011
%E Alexander, Perry
%E Pasareanu, Corina S.
%E Hosking, John G.
%I IEEE Computer Society
%K dblp
%P 143-152
%T Formalizing hardware/software interface specifications.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#LiXBLM11
%@ 978-1-4577-1638-6
@inproceedings{conf/kbse/LiXBLM11,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Li, Juncao and Xie, Fei and Ball, Thomas and Levin, Vladimir and McGarvey, Con},
biburl = {https://www.bibsonomy.org/bibtex/2073f3da526bdc4861684aed585f7c25c/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2011},
editor = {Alexander, Perry and Pasareanu, Corina S. and Hosking, John G.},
ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100048},
interhash = {0cc7683d7033f3ffb89e0815472edd9e},
intrahash = {073f3da526bdc4861684aed585f7c25c},
isbn = {978-1-4577-1638-6},
keywords = {dblp},
pages = {143-152},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:50:43.000+0200},
title = {Formalizing hardware/software interface specifications.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2011.html#LiXBLM11},
year = 2011
}