Daniel Malcolm Hoffman
-
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering