Walter Guttmann

	2009
7		Walter Guttmann: General Correctness Algebra. RelMiCS 2009: 150-165
	2008
6		Walter Guttmann: Lazy Relations. RelMiCS 2008: 138-154
	2006
5		Stefan Sarstedt, Walter Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. Ershov Memorial Conference 2006: 349-362
4		Walter Guttmann, Markus Maucher: Variations on an Ordering Theme with Constraints. IFIP TCS 2006: 77-90
3		Walter Guttmann, Bernhard Möller: Modal Design Algebra. UTP 2006: 236-256
	2005
2		Walter Guttmann: Non-termination in Unifying Theories of Programming. RelMiCS 2005: 108-120
	2003
1		Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)

Coauthor Index

1	Markus Maucher	[4]
2	Bernhard Möller	[3]
3	Helmuth Partsch	[1]
4	Stefan Sarstedt	[5]
5	Wolfram Schulte	[1]
6	Ton Vullinghs	[1]

Colors in the list of coauthors