%0 Conference Paper %1 conf/sefm/Rushby06 %A Rushby, John M. %B SEFM %D 2006 %I IEEE Computer Society %K dblp %P 21-30 %T Harnessing Disruptive Innovation in Formal Verification. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2006.html#Rushby06 %@ 0-7695-2678-0

@inproceedings{conf/sefm/Rushby06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Rushby, John M.}, biburl = {https://www.bibsonomy.org/bibtex/2b8a10f3fc5a6b0981db15717c070e987/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2006.24}, interhash = {4cf18a942ff21bcd6c0a26eadedb3350}, intrahash = {b8a10f3fc5a6b0981db15717c070e987}, isbn = {0-7695-2678-0}, keywords = {dblp}, pages = {21-30}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:15.000+0200}, title = {Harnessing Disruptive Innovation in Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2006.html#Rushby06}, year = 2006 }