Specification and transformation of programs

,1993, 引用: 14

,1994, 引用: 1

GULP-PRODE,1995, 引用: 2

Requirements-Engineering systematisch,2010, 引用: 0

,1997, 引用: 9

formal techniques for (networked and) distributed systems,1996, 引用: 2

,2007, 引用: 1

,1996, 引用: 2

,2010, 引用: 0

formal methods,1997, 引用: 0