A. Arnold
-
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Exp.Open 2.0: a flexible tool integrating partial order, compositional, and on-the-fly verification methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods