%0 Conference Paper %1 conf/re/EasterbrookC97 %A Easterbrook, Steve M. %A Callahan, John R. %B RE %D 1997 %I IEEE Computer Society %K dblp %P 160-168 %T Formal Methods for V&V of Partial Specifications: An Experience RSeport. %U http://dblp.uni-trier.de/db/conf/re/re1997.html#EasterbrookC97 %@ 0-8186-7740-6

@inproceedings{conf/re/EasterbrookC97, added-at = {2023-03-24T00:00:00.000+0100}, author = {Easterbrook, Steve M. and Callahan, John R.}, biburl = {https://www.bibsonomy.org/bibtex/228d0707635abccfc61d80c1664603131/dblp}, booktitle = {RE}, crossref = {conf/re/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISRE.1997.566865}, interhash = {df70dc51f3be2fecae196aaf3741035c}, intrahash = {28d0707635abccfc61d80c1664603131}, isbn = {0-8186-7740-6}, keywords = {dblp}, pages = {160-168}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:09:33.000+0200}, title = {Formal Methods for V&V of Partial Specifications: An Experience RSeport.}, url = {http://dblp.uni-trier.de/db/conf/re/re1997.html#EasterbrookC97}, year = 1997 }