123
Voted
IFM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...