Search the dblp DataBase

Publications of Author

1. Walter Guttmann
   Non-termination in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:108-120 [Conf]
   
2. Walter Guttmann, Bernhard Möller
   Modal Design Algebra. [Citation Graph (0, 0)][DBLP]
   UTP, 2006, pp:236-256 [Conf]
   
3. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
   Tool Support for the Interactive Derivation of Formally Correct Functional Programs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:2, pp:173-0 [Journal]
   
4. Stefan Sarstedt, Walter Guttmann
   An ASM Semantics of Token Flow in UML 2 Activity Diagrams. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2006, pp:349-362 [Conf]
   
5. 
   Lazy Relations. [Citation Graph (, )][DBLP]
   
   
6. 
   General Correctness Algebra. [Citation Graph (, )][DBLP]
   
   
7. 
   Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. [Citation Graph (, )][DBLP]
   
   
8. 
   Variations on an Ordering Theme with Constraints. [Citation Graph (, )][DBLP]
   
   
9. 
   Partial, Total and General Correctness. [Citation Graph (, )][DBLP]
   
   
10. 
    Lazy UTP. [Citation Graph (, )][DBLP]