|
 
|
[DJR12a] Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment
Conférence Internationale avec comité de lecture : ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
motcle:
Equipe:
sys
Collaboration:
INRIA
BibTeX
| @inproceedings { | |||
| DJR12a, | |||
| title | = | "{Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment}", | |
| author | = | " D. Doligez and M. Jaume and R. Rioboo ", | |
| booktitle | = | "{ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) }", | |
| year | = | 2012, | |
| month | = | "June", | |
| pages | = | "A paraitre", | |
| } | |||
