Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000

• Auguston, M. (2000) Auguston, M. "Lightweight semantics models for program testing and debugging automation" pp23-31