%0 Conference Paper %1 conf/acm/StraeterBFSSL78 %A Straeter, Terry A. %A Broglio, Carlo %A Fujii, Marilyn %A Stucki, Leon G. %A Saib, Sabina H. %A Luckham, David C. %B ACM Annual Conference (2) %D 1978 %E Austing, Richard H. %E Conti, Dennis M. %E Engel, Gerald L. %I ACM %K dblp %P 781 %T Software validation and verification - a state of the art report(Panel Discussion). %U http://dblp.uni-trier.de/db/conf/acm/csc1978-2.html#StraeterBFSSL78 %@ 978-0-89791-000-2

@inproceedings{conf/acm/StraeterBFSSL78, added-at = {2022-03-25T00:00:00.000+0100}, author = {Straeter, Terry A. and Broglio, Carlo and Fujii, Marilyn and Stucki, Leon G. and Saib, Sabina H. and Luckham, David C.}, biburl = {https://www.bibsonomy.org/bibtex/21815d7e810217b99afdf42b868de5fef/dblp}, booktitle = {ACM Annual Conference (2)}, crossref = {conf/acm/1978-2}, editor = {Austing, Richard H. and Conti, Dennis M. and Engel, Gerald L.}, ee = {https://doi.org/10.1145/800178.810132}, interhash = {e6b70082139c09d828c7d554b41566e6}, intrahash = {1815d7e810217b99afdf42b868de5fef}, isbn = {978-0-89791-000-2}, keywords = {dblp}, pages = 781, publisher = {ACM}, timestamp = {2024-04-09T11:49:24.000+0200}, title = {Software validation and verification - a state of the art report(Panel Discussion).}, url = {http://dblp.uni-trier.de/db/conf/acm/csc1978-2.html#StraeterBFSSL78}, year = 1978 }