%0 Journal Article %1 journals/sigsoft/SmithC85 %A Smith, Michael K. %A Cohen, Richard M. %D 1985 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 5-6 %T Gypsy verification environment: status. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft10.html#SmithC85 %V 10

@article{journals/sigsoft/SmithC85, added-at = {2022-02-03T00:00:00.000+0100}, author = {Smith, Michael K. and Cohen, Richard M.}, biburl = {https://www.bibsonomy.org/bibtex/2b383ec2313969f62455b8cd6b9820dc9/dblp}, ee = {https://doi.org/10.1145/1012497.1012501}, interhash = {55c8c39dbef24c3042461bf36089bd6f}, intrahash = {b383ec2313969f62455b8cd6b9820dc9}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = {5-6}, timestamp = {2024-04-08T18:57:06.000+0200}, title = {Gypsy verification environment: status.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft10.html#SmithC85}, volume = 10, year = 1985 }