Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:D.Hutter W.Stephan B.Langenstein C.Sengler J.H.Siekmann H.Mantel G.Rock M.Balser W.Reif G.Schellhorn K.Stenzel
Talks about:vse (2) support (1) softwar (1) environ (1) develop (1) control (1) complex (1) formal (1) deduct (1) verif (1)
Person: Andreas Wolpers
DBLP: Wolpers:Andreas
Contributed to:
19981996Wrote 2 papers:
- FM-1998-HutterMRSWBRSS #complexity #formal method #named
- VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
- FME-1996-HutterLSSSW #deduction #verification
- Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.