%0 Conference Paper %1 conf/adt/Ehrig82 %A Ehrig, Hartmut %B ADT %D 1982 %E Ehrich, Hans-Dieter %E Lipeck, Udo W. %I University of Dortmund %K dblp %T ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. %U http://dblp.uni-trier.de/db/conf/adt/adt1982.html#Ehrig82

@inproceedings{conf/adt/Ehrig82, added-at = {2019-07-19T00:00:00.000+0200}, author = {Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/24c1090922f3aa275a5792f834be0f9d1/dblp}, booktitle = {ADT}, crossref = {conf/adt/1982}, editor = {Ehrich, Hans-Dieter and Lipeck, Udo W.}, interhash = {2b2a27839dc435f787b684adbf51f617}, intrahash = {4c1090922f3aa275a5792f834be0f9d1}, keywords = {dblp}, publisher = {University of Dortmund}, timestamp = {2019-07-20T11:38:35.000+0200}, title = {ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.}, url = {http://dblp.uni-trier.de/db/conf/adt/adt1982.html#Ehrig82}, year = 1982 }