Travelled to:
1 × Germany
Collaborated with:
C.Heyl A.Mester
Talks about:
construct (1) support (1) specif (1) tool (1) ctla (1) ctc (1)
Person: Heiko Krumm
DBLP: Krumm:Heiko
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.