PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Klaeren, Herbert"

Author of the publication

copydeleteadd this publication to your clipboard
Software Engineering und formale Verfahren.

. SEUH, volume 37 of Berichte des German Chapter of the ACM, page 48-50. Teubner, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Herbert Wehlan University of Stuttgart

Hon. -Prof. Dr. Herbert Kohler University of Stuttgart

Prof. iR Herbert Traub University of Stuttgart

Dr. Herbert Dilger University of Stuttgart

Herbert Moll-von Berg University of Stuttgart

 

Other publications of authors with the same name

Efficient Implementation of an Algebraic Specification Language., and . Algebraic Methods, volume 394 of Lecture Notes in Computer Science, page 69-90. Springer, (1987)Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.. ADT, University of Passau, (1983)A Simple Class of Algorithmic Specifications for Abstract Software Modules.. MFCS, volume 88 of Lecture Notes in Computer Science, page 362-374. Springer, (1980)Algebraische Spezifikation - eine Einführung.. Springer, (1983)Software Engineering und formale Verfahren.. SEUH, volume 37 of Berichte des German Chapter of the ACM, page 48-50. Teubner, (1992)Code coverage for any kind of test in any kind of transcompiled cross-platform applications., and . INTUITEST@ISSTA, page 1-10. ACM, (2016)Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 252-258. Springer, (1975)Recursive Definitions of Operations in Universal Algebras.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 268-281. Springer, (1981)Distributed partial evaluation., , and . PASCO, page 80-87. ACM, (1997)The SRDL Specification Experiment.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 282-293. Springer, (1981)