PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schlager, Steffen"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic Logic.

, , and . The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)

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.

Tobias Schlager University of Stuttgart

Steffen Gaißer University of Stuttgart

Steffen Gerhäusser University of Stuttgart

Steffen Braun University of Stuttgart

Steffen Hirschmann Scientific Computing, Institute for Parallel and Distributed Computing, University of Stuttgart

 

Other publications of authors with the same name

Symbolic execution as a framework for deductive verification of object-oriented programs.. Karlsruhe Institute of Technology, (2007)Software Verification with Integrated Data Type Refinement for Integer Arithmetic., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 207-226. Springer, (2004)A Review on Blockchain Technology and Blockchain Projects Fostering Open Science., , , and . Frontiers Blockchain, (2019)A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 626-641. Springer, (2001)Refinement and retrenchment for programming language data types., and . Formal Asp. Comput., 17 (4): 423-442 (2005)Verification of JCSP Programs., , , and . CPA, volume 63 of Concurrent Systems Engineering Series, page 203-218. IOS Press, (2005)The KeY tool., , , , , , , , , and 1 other author(s). Software and Systems Modeling, 4 (1): 32-54 (2005)Java Integers.. The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)The KeY system 1.0 (Deduction Component)., , , , , , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 379-384. Springer, (2007)Predefined Operators in Java Card DL.. The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)