Travelled to:
1 × France
Collaborated with:
V.Gruhn
Talks about:
properti (1) softwar (1) process (1) comput (1) verif (1) model (1) aid (1)
Person: Alfred Bröckers
DBLP: Br=ouml=ckers:Alfred
Contributed to:
Wrote 1 papers:
- CAiSE-1993-BrockersG #process #verification
- Computer-Aided Verification of Software Process Model Properties (AB, VG), pp. 521–546.