Carron Kirkwood
发表
Carron Kirkwood,
Muffy Thomas,
1996,
FME 1996.
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Carron Kirkwood,
C. Kirkwood,
1994
.
Carron Kirkwood,
Kathy Norrie,
C. Kirkwood,
1990,
FORTE.
Carron Kirkwood,
C. Kirkwood,
1995,
FORTE.
Carron Kirkwood,
1990
.
Muffy Calder,
Carron Kirkwood,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Carron Kirkwood,
1993,
TAPSOFT.