%0 Conference Paper %1 conf/cav/ReidCDGHKPSVZ16 %A Reid, Alastair %A Chen, Rick %A Deligiannis, Anastasios %A Gilday, David %A Hoyes, David %A Keen, Will %A Pathirane, Ashan %A Shepherd, Owen %A Vrabel, Peter %A Zaidi, Ali %B CAV (2) %D 2016 %E Chaudhuri, Swarat %E Farzan, Azadeh %I Springer %K dblp %P 42-58 %T End-to-End Verification of Processors with ISA-Formal. %U http://dblp.uni-trier.de/db/conf/cav/cav2016-2.html#ReidCDGHKPSVZ16 %V 9780 %@ 978-3-319-41539-0

@inproceedings{conf/cav/ReidCDGHKPSVZ16, added-at = {2020-10-06T00:00:00.000+0200}, author = {Reid, Alastair and Chen, Rick and Deligiannis, Anastasios and Gilday, David and Hoyes, David and Keen, Will and Pathirane, Ashan and Shepherd, Owen and Vrabel, Peter and Zaidi, Ali}, biburl = {https://www.bibsonomy.org/bibtex/26d7fb4aa1076d9dd459e74a8b8155ee1/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2016-2}, editor = {Chaudhuri, Swarat and Farzan, Azadeh}, ee = {https://doi.org/10.1007/978-3-319-41540-6_3}, interhash = {603548f823318e45eb98643c8dc22c29}, intrahash = {6d7fb4aa1076d9dd459e74a8b8155ee1}, isbn = {978-3-319-41539-0}, keywords = {dblp}, pages = {42-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-07T11:39:06.000+0200}, title = {End-to-End Verification of Processors with ISA-Formal.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2016-2.html#ReidCDGHKPSVZ16}, volume = 9780, year = 2016 }