Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment
1987 ◽
1994 ◽
Vol 49
(1-2)
◽
pp. 80-88
◽
1992 ◽
pp. 303-366
◽
Keyword(s):