%0 Conference Paper %1 conf/pdpta/ZhangM97 %A Zhang, Cui %A McNamme, Carole M. %B PDPTA %D 1997 %E Arabnia, Hamid R. %I CSREA Press %K dblp %P 256-264 %T Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation. %U http://dblp.uni-trier.de/db/conf/pdpta/pdpta1997.html#ZhangM97 %@ 0-9648666-8-4

@inproceedings{conf/pdpta/ZhangM97, added-at = {2004-04-20T00:00:00.000+0200}, author = {Zhang, Cui and McNamme, Carole M.}, biburl = {https://www.bibsonomy.org/bibtex/265d45bd7a9ae6d9cc0b3facaba233d87/dblp}, booktitle = {PDPTA}, crossref = {conf/pdpta/1997}, date = {2004-04-20}, description = {dblp}, editor = {Arabnia, Hamid R.}, interhash = {51e81d6b329b882e27fc2fab28f150fe}, intrahash = {65d45bd7a9ae6d9cc0b3facaba233d87}, isbn = {0-9648666-8-4}, keywords = {dblp}, pages = {256-264}, publisher = {CSREA Press}, timestamp = {2004-04-20T00:00:00.000+0200}, title = {Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation.}, url = {http://dblp.uni-trier.de/db/conf/pdpta/pdpta1997.html#ZhangM97}, year = 1997 }