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