%0 Journal Article %1 journals/ai/Barrow84 %A Barrow, Harry G. %D 1984 %J Artif. Intell. %K dblp %N 1-3 %P 437-491 %T VERIFY: A Program for Proving Correctness of Digital Hardware Designs. %U http://dblp.uni-trier.de/db/journals/ai/ai24.html#Barrow84 %V 24

@article{journals/ai/Barrow84, added-at = {2011-06-30T00:00:00.000+0200}, author = {Barrow, Harry G.}, biburl = {https://www.bibsonomy.org/bibtex/2071f27d11cbf2d8e64fe37eb150cecc8/dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(84)90044-4}, interhash = {c6545d4d05041e6d00df7269f9ea5d50}, intrahash = {071f27d11cbf2d8e64fe37eb150cecc8}, journal = {Artif. Intell.}, keywords = {dblp}, number = {1-3}, pages = {437-491}, timestamp = {2011-07-01T11:32:48.000+0200}, title = {VERIFY: A Program for Proving Correctness of Digital Hardware Designs.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai24.html#Barrow84}, volume = 24, year = 1984 }