%0 Conference Paper %1 conf/compsac/ZerangueU92 %A Zerangue, Karl B. %A Urban, Joseph E. %B COMPSAC %D 1992 %I IEEE %K dblp %P 218-223 %T A metalanguage based on a theory of specification. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1992.html#ZerangueU92 %@ 0-8186-3000-0

@inproceedings{conf/compsac/ZerangueU92, added-at = {2017-05-21T00:00:00.000+0200}, author = {Zerangue, Karl B. and Urban, Joseph E.}, biburl = {https://www.bibsonomy.org/bibtex/26a666c1aeb9761cbfb4d221f6feb0cc5/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1992}, ee = {https://doi.org/10.1109/CMPSAC.1992.217565}, interhash = {6f58c004d8a99fc77f1851ae0384ffeb}, intrahash = {6a666c1aeb9761cbfb4d221f6feb0cc5}, isbn = {0-8186-3000-0}, keywords = {dblp}, pages = {218-223}, publisher = {IEEE}, timestamp = {2019-10-17T20:10:56.000+0200}, title = {A metalanguage based on a theory of specification.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1992.html#ZerangueU92}, year = 1992 }