-
1
-
2
-
3
A specification language for coordinated objects.
Pubblicato in Software engineering notes.Articolo -
4
-
5
-
6
Reasoning about confidentiality at requirements engineering time.
Pubblicato in Software engineering notes.Articolo -
7
-
8
Lightweight object specification with typestates.
Pubblicato in Software engineering notes.Articolo -
9
-
10