%0 Conference Paper %1 conf/icse/DwyerHJLPRZV01 %A Dwyer, Matthew B. %A Hatcliff, John %A Joehanes, Roby %A Laubach, Shawn %A Pasareanu, Corina S. %A Robby, %A Zheng, Hongjun %A Visser, Willem %B ICSE %D 2001 %E Müller, Hausi A. %E Harrold, Mary Jean %E Schäfer, Wilhelm %I IEEE Computer Society %K dblp %P 177-187 %T Tool-Supported Program Abstraction for Finite-State Verification. %U http://dblp.uni-trier.de/db/conf/icse/icse2001.html#DwyerHJLPRZV01 %@ 0-7695-1050-7

@inproceedings{conf/icse/DwyerHJLPRZV01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Dwyer, Matthew B. and Hatcliff, John and Joehanes, Roby and Laubach, Shawn and Pasareanu, Corina S. and Robby and Zheng, Hongjun and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/24c7d3fbf0473bba3a20703d8bd209962/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2001}, editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919092}, interhash = {7b57e06bb727123e469a81110784c5c5}, intrahash = {4c7d3fbf0473bba3a20703d8bd209962}, isbn = {0-7695-1050-7}, keywords = {dblp}, pages = {177-187}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:35.000+0200}, title = {Tool-Supported Program Abstraction for Finite-State Verification.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#DwyerHJLPRZV01}, year = 2001 }