Travelled to:1 × Portugal
Collaborated with:T.Arons J.Hooman H.Kugler A.Pnueli
Talks about:deduct (1) verif (1) tlpvs (1) model (1) uml (1)
Person: Mark van der Zwaag
DBLP: Zwaag:Mark_van_der
Contributed to:
2004Wrote 1 papers:
- UML-2004-AronsHKPZ #deduction #modelling #uml #verification
- Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.