%0 Thesis %1 phd/dnb/Beierle86 %A Beierle, Christoph %D 1986 %K %P 1-351 %T Algebraic implementations in an integrated software development and verification system.

@phdthesis{phd/dnb/Beierle86, added-at = {2023-12-13T07:30:42.000+0100}, author = {Beierle, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27376267cc72488818410934d1ede7c7d/admin}, ee = {http://d-nb.info/861000331}, interhash = {b9e5ae13b04dbb656396209ca5b208a2}, intrahash = {7376267cc72488818410934d1ede7c7d}, keywords = {}, pages = {1-351}, school = {Kaiserslautern University of Technology, Germany}, timestamp = {2023-12-13T07:30:42.000+0100}, title = {Algebraic implementations in an integrated software development and verification system.}, year = 1986 }