Author of the publication

Libraries

, , and . CASL reference manual, volume 2960 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)

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.

 

Other publications of authors with the same name

The Stable Revivals Model in CSP-Prover., , and . AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 119-134. Elsevier, (2008)Proof Principles of CSP - CSP-Prover in Practice., and . LDIC, page 425-442. Springer, (2007)Structured CSP -- A Process Algebra as an Institution, and . WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 92-110. Springer-Verlag Heidelberg, (2007)Compositional modelling and reasoning in an institution for processes and data, , and . WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 251-269. Springer, (2012)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , and 3 other author(s). CoRR, (2020)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , and 3 other author(s). FMFun, volume 1301 of Communications in Computer and Information Science, page 1-26. Springer, (2019)Software Model Checking of Interlocking Programs., , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 130-146. Springer, (2023)Specifying real numbers in CASL, , and . Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)Methodological guidelines (for CASL), and . (2002)CoFI note M-6.Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS., , , and . WADT, volume 12669 of Lecture Notes in Computer Science, page 120-141. Springer, (2020)