Travelled to:
1 × Germany
Collaborated with:
C.Heyl H.Krumm
Talks about:
construct (1) support (1) specif (1) tool (1) ctla (1) ctc (1)
Person: Arnulf Mester
DBLP: Mester:Arnulf
Contributed to:
Wrote 1 papers:
- TACAS-1996-HeylMK #named #tool support
- cTc — A Tool Supporting the Construction of cTLA-Specifications (CH, AM, HK), pp. 407–411.