%0 Thesis %1 bruckner1978concrete %A Brückner, Bernd %D 1978 %K %T Concrete and abstract specification, modularization and program development by transformation

@phdthesis{bruckner1978concrete, added-at = {2023-12-14T16:52:31.000+0100}, author = {Brückner, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d3f2bde40f96fba3fe3c0e65c49ef152/admin}, dnbtitleid = {790880911}, interhash = {fe59f9f8492287c12d9d12627e64e862}, intrahash = {d3f2bde40f96fba3fe3c0e65c49ef152}, keywords = {}, school = {TU München}, timestamp = {2023-12-14T16:52:31.000+0100}, title = {Concrete and abstract specification, modularization and program development by transformation}, year = 1978 }