FORMAL METHODS IN SYSTEM DESIGN
journal11395
E200716
NL
1572-8102
Rivista
Dordrecht: Kluwer
2002
restricted