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