( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Methods and Tools: Introduction and Overview.

, , и . Tool Support for System Specification, Development and Verification, стр. 1-17. Springer, (1998)

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.

Rudolf Berghammer

Herbert Berghammer

Andreas Berghammer

Helena Berghammer

Birgit Berghammer

 

Другие публикации лиц с тем же именем

Algorithmic Counting of Zero-Dimensional Finite Topological Spaces With Respect to the Covering Dimension., , и . CoRR, (2020)Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means., , и . Fundam. Informaticae, 177 (2): 95-113 (2020)Relational Computation of Sets of Relations.. RAMiCS, том 13027 из Lecture Notes in Computer Science, стр. 54-71. Springer, (2021)Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic., , и . Theor. Comput. Sci., 146 (1&2): 185-197 (1995)A Relational View on Gotos and Dynamic Logic., и . WG, стр. 13-24. Hanser, Munich, (1982)On the Refinement of Non-Deterministic Recursive Routines by Transformations., , и . Programming Concepts and Methods, стр. 53-72. North-Holland, (1990)Relational characterisations of paths., , , и . J. Log. Algebraic Methods Program., (2020)Cryptomorphic topological structures: A computational, relation-algebraic approach., , и . J. Log. Algebraic Methods Program., (2019)Algorithms from Relational Specifications., и . Relational Methods in Computer Science, Springer, (1997)Formal Methods and Tools: Introduction and Overview., , и . Tool Support for System Specification, Development and Verification, стр. 1-17. Springer, (1998)