-
31
-
32
-
33
-
34
Formal analysis of a space-craft controller using SPIN.
Pubblicato in IEEE Transactions on software engineeringArticolo -
35