%0 Conference Paper %1 conf/issta/GhezziK91 %A Ghezzi, Carlo %A Kennerer, Richard A. %B Symposium on Testing, Analysis, and Verification %D 1991 %E Howden, William E. %I ACM %K dblp %P 112-122 %T Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. %U http://dblp.uni-trier.de/db/conf/issta/tav91.html#GhezziK91 %@ 0-89791-449-X

@inproceedings{conf/issta/GhezziK91, added-at = {2017-02-03T00:00:00.000+0100}, author = {Ghezzi, Carlo and Kennerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2750f55c87395f311659ce87a5b87ad25/dblp}, booktitle = {Symposium on Testing, Analysis, and Verification}, crossref = {conf/issta/1991}, editor = {Howden, William E.}, ee = {http://doi.acm.org/10.1145/120807.120817}, interhash = {ce445fa219dc20a8b773efa4f248fc75}, intrahash = {750f55c87395f311659ce87a5b87ad25}, isbn = {0-89791-449-X}, keywords = {dblp}, pages = {112-122}, publisher = {ACM}, timestamp = {2017-02-04T11:34:29.000+0100}, title = {Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.}, url = {http://dblp.uni-trier.de/db/conf/issta/tav91.html#GhezziK91}, year = 1991 }