A formal approach to the specification a
β
Ammar Attoui; Michel Schneider
π
Article
π
1996
π
Springer US
π
English
β 956 KB