%0 Journal Article %1 journals/sttt/CoptyIWKK03 %A Copty, Fady %A Irron, Amitai %A Weissberg, Osnat %A Kropp, Nathan P. %A Kamhi, Gila %D 2003 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 335-348 %T Efficient debugging in a formal verification environment. %U http://dblp.uni-trier.de/db/journals/sttt/sttt4.html#CoptyIWKK03 %V 4

@article{journals/sttt/CoptyIWKK03, added-at = {2020-04-02T00:00:00.000+0200}, author = {Copty, Fady and Irron, Amitai and Weissberg, Osnat and Kropp, Nathan P. and Kamhi, Gila}, biburl = {https://www.bibsonomy.org/bibtex/297a47109852285c735490c89bb731e1c/dblp}, ee = {https://doi.org/10.1007/s10009-002-0097-y}, interhash = {a1d9aff75129928bbf001391d99124a6}, intrahash = {97a47109852285c735490c89bb731e1c}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {335-348}, timestamp = {2020-04-03T11:54:41.000+0200}, title = {Efficient debugging in a formal verification environment.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt4.html#CoptyIWKK03}, volume = 4, year = 2003 }