VSE: Controlling the Complexity in Formal Software Developments

Applied Formal Methods — FM-Trends 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-48257-1_26 ◽

1999 ◽

pp. 351-358 ◽

Cited By ~ 3

Author(s):

Dieter Hutter ◽

Heiko Mantel ◽

Georg Rock ◽

Werner Stephan ◽

Andreas Wolpers ◽

...

Download Full-text