%0 Conference Paper %1 conf/issta/DouglasK94 %A Douglas, Jeffrey %A Kemmerer, Richard A. %B ISSTA %D 1994 %E Ostrand, Thomas J. %I ACM %K dblp %P 15-27 %T Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. %U http://dblp.uni-trier.de/db/conf/issta/issta94.html#DouglasK94 %@ 0-89791-683-2

@inproceedings{conf/issta/DouglasK94, added-at = {2017-02-03T00:00:00.000+0100}, author = {Douglas, Jeffrey and Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/26acde62af1cf900979908e5c65a2e756/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/1994}, editor = {Ostrand, Thomas J.}, ee = {http://doi.acm.org/10.1145/186258.186487}, interhash = {38934cf7707159c88649ed0198b8b5fa}, intrahash = {6acde62af1cf900979908e5c65a2e756}, isbn = {0-89791-683-2}, keywords = {dblp}, pages = {15-27}, publisher = {ACM}, timestamp = {2017-02-04T11:34:43.000+0100}, title = {Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta94.html#DouglasK94}, year = 1994 }