%0 Journal Article %1 journals/sttt/KestenP00 %A Kesten, Yonit %A Pnueli, Amir %D 2000 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 328-342 %T Control and Data Abstraction: The Cornerstones of Practical Formal Verification. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#KestenP00 %V 2

@article{journals/sttt/KestenP00, added-at = {2020-04-02T00:00:00.000+0200}, author = {Kesten, Yonit and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/22e6738afbcfe14f71ee7e96fa8646fdc/dblp}, ee = {https://doi.org/10.1007/s100090050040}, interhash = {a091224ea74f293de6c09d5c476739c9}, intrahash = {2e6738afbcfe14f71ee7e96fa8646fdc}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {328-342}, timestamp = {2020-04-03T11:55:03.000+0200}, title = {Control and Data Abstraction: The Cornerstones of Practical Formal Verification.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#KestenP00}, volume = 2, year = 2000 }