%0 Book %1 series/amast/ClassenEW93 %A Claßen, Ingo %A Ehrig, Hartmut %A Wolz, Dietmar %B AMAST Series in Computing %D 1993 %I World Scientific %K dblp %P 1-256 %T Algebraic Specification Techniques and Tools for Software Development: The Act Approach %V 1 %@ 978-981-02-1227-8

@book{series/amast/ClassenEW93, added-at = {2015-08-04T00:00:00.000+0200}, author = {Claßen, Ingo and Ehrig, Hartmut and Wolz, Dietmar}, biburl = {https://www.bibsonomy.org/bibtex/253d13cdab57f1da10024e82b0dff4b9d/dblp}, ee = {http://dx.doi.org/10.1142/1877}, interhash = {3bbab33e3e7716cd091cb12f900a644d}, intrahash = {53d13cdab57f1da10024e82b0dff4b9d}, isbn = {978-981-02-1227-8}, keywords = {dblp}, pages = {1-256}, publisher = {World Scientific}, series = {AMAST Series in Computing}, timestamp = {2015-08-05T11:33:24.000+0200}, title = {Algebraic Specification Techniques and Tools for Software Development: The Act Approach}, volume = 1, year = 1993 }