%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 %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 = {2023-12-12T21:16:36.000+0100}, author = {Claßen, Ingo and Ehrig, Hartmut and Wolz, Dietmar}, biburl = {https://www.bibsonomy.org/bibtex/253d13cdab57f1da10024e82b0dff4b9d/admin}, ee = {http://dx.doi.org/10.1142/1877}, interhash = {3bbab33e3e7716cd091cb12f900a644d}, intrahash = {53d13cdab57f1da10024e82b0dff4b9d}, isbn = {978-981-02-1227-8}, keywords = {}, pages = {1-256}, publisher = {World Scientific}, series = {AMAST Series in Computing}, timestamp = {2023-12-12T21:16:36.000+0100}, title = {Algebraic Specification Techniques and Tools for Software Development: The Act Approach}, volume = 1, year = 1993 }