%0 Conference Paper %1 conf/hvc/Araiza-IllanWPE15 %A Araiza-Illan, Dejanira %A Western, David G. %A Pipe, Anthony G. %A Eder, Kerstin %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K dblp %P 69-84 %T Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#Araiza-IllanWPE15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/Araiza-IllanWPE15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Araiza-Illan, Dejanira and Western, David G. and Pipe, Anthony G. and Eder, Kerstin}, biburl = {https://www.bibsonomy.org/bibtex/22b1b1c96c6b6ec2b9181f4582815b544/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_5}, interhash = {77cdea3d1c23cdfaa3007d9502a22f9e}, intrahash = {2b1b1c96c6b6ec2b9181f4582815b544}, isbn = {978-3-319-26286-4}, keywords = {dblp}, pages = {69-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:56:13.000+0200}, title = {Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#Araiza-IllanWPE15}, volume = 9434, year = 2015 }