%0 Journal Article %1 journals/sigsoft/NaumovichCC99 %A Naumovich, Gleb %A Clarke, Lori A. %A Cobleigh, Jamieson M. %D 1999 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 5 %P 57-65 %T Using partial order techniques to improve performance of data flow analysis based verification. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft24.html#NaumovichCC99 %V 24

@article{journals/sigsoft/NaumovichCC99, added-at = {2020-09-17T00:00:00.000+0200}, author = {Naumovich, Gleb and Clarke, Lori A. and Cobleigh, Jamieson M.}, biburl = {https://www.bibsonomy.org/bibtex/2455172e055e9b8679c28f7ef7e630b98/dblp}, ee = {https://doi.org/10.1145/381788.316180}, interhash = {8fa40305c70e7fa27790cec2547dc84c}, intrahash = {455172e055e9b8679c28f7ef7e630b98}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 5, pages = {57-65}, timestamp = {2020-09-18T11:38:07.000+0200}, title = {Using partial order techniques to improve performance of data flow analysis based verification.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft24.html#NaumovichCC99}, volume = 24, year = 1999 }