%0 Conference Paper %1 conf/spin/FeliuRB17 %A Feliú, Marco A. %A Rocha, Camilo %A Balachandran, Swee %B SPIN %D 2017 %E Erdogmus, Hakan %E Havelund, Klaus %I ACM %K dblp %P 94-97 %T Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. %U http://dblp.uni-trier.de/db/conf/spin/spin2017.html#FeliuRB17 %@ 978-1-4503-5077-8

@inproceedings{conf/spin/FeliuRB17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Feliú, Marco A. and Rocha, Camilo and Balachandran, Swee}, biburl = {https://www.bibsonomy.org/bibtex/2dba122e5eb80d567563470ef3d673460/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2017}, editor = {Erdogmus, Hakan and Havelund, Klaus}, ee = {https://doi.org/10.1145/3092282.3120995}, interhash = {1d23cdafe9516bd2fd7e0e7100a0c442}, intrahash = {dba122e5eb80d567563470ef3d673460}, isbn = {978-1-4503-5077-8}, keywords = {dblp}, pages = {94-97}, publisher = {ACM}, timestamp = {2024-04-10T20:33:25.000+0200}, title = {Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2017.html#FeliuRB17}, year = 2017 }