%0 Journal Article %1 journals/sigsoft/0002A85 %A Williams, James G. %A Applebaum, Charles H. %D 1985 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 44-47 %T The Practical Verification System Project. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft10.html#0002A85 %V 10

@article{journals/sigsoft/0002A85, added-at = {2022-02-03T00:00:00.000+0100}, author = {Williams, James G. and Applebaum, Charles H.}, biburl = {https://www.bibsonomy.org/bibtex/249a19b54bcfac89e03310837701e4d1b/dblp}, ee = {https://doi.org/10.1145/1012497.1012512}, interhash = {e7c884e0dad6aae071d291a03c965d23}, intrahash = {49a19b54bcfac89e03310837701e4d1b}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = {44-47}, timestamp = {2024-04-08T18:57:06.000+0200}, title = {The Practical Verification System Project.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft10.html#0002A85}, volume = 10, year = 1985 }