%0 Conference Paper %1 conf/adt/EhrigFH83 %A Ehrig, Hartmut %A Fey, Werner %A Hansen, Horst %B ADT %D 1983 %E Broy, Manfred %E Wirsing, Martin %I University of Passau %K dblp %T ACT ONE - An Algebraic Specification Language with two Levels of Semantics. %U http://dblp.uni-trier.de/db/conf/adt/adt1983.html#EhrigFH83

@inproceedings{conf/adt/EhrigFH83, added-at = {2019-07-19T00:00:00.000+0200}, author = {Ehrig, Hartmut and Fey, Werner and Hansen, Horst}, biburl = {https://www.bibsonomy.org/bibtex/2529911e5506c18c21f5fc171c583dec6/dblp}, booktitle = {ADT}, crossref = {conf/adt/1983}, editor = {Broy, Manfred and Wirsing, Martin}, interhash = {4083b55014c4c8a903be4c8af484d33d}, intrahash = {529911e5506c18c21f5fc171c583dec6}, keywords = {dblp}, publisher = {University of Passau}, timestamp = {2019-07-20T11:38:58.000+0200}, title = {ACT ONE - An Algebraic Specification Language with two Levels of Semantics.}, url = {http://dblp.uni-trier.de/db/conf/adt/adt1983.html#EhrigFH83}, year = 1983 }