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