MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Richard Bubel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Abstract Hoare Logic with Updates A Hoare-Style Calculus with Explicit State Updates
by Reiner Hähnle, Richard Bubel
… and Richard Bubel 1 Department of Computer Science and Engineering, Chalmers University of Technology…
Add To MetaCart

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System
by Richard Bubel, Reiner Hähnle — 2003 — In Electronic Notes in Theoretical Computer Science
…-Critical Software: A Case Study with the KeY System Richard Bubel 1,2,3,4 University of Karlsruhe Department…
Cited by 2 (2 self) – Add To MetaCart

Specification Predicates with Explicit Dependency Information
by Richard Bubel, Reiner Hähnle, Peter H. Schmitt
…Specification Predicates with Explicit Dependency Information Richard Bubel 1 , Reiner Hähnle 1…
Add To MetaCart

The KeY Tool
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt — 2003
…Technical Report no. 2003-05 The KeY Tool 1 Wolfgang Ahrendt Thomas Baar Bernhard Beckert Richard…
Cited by 16 (4 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB