[ACM Press the 7th Workshop - Beijing, China (2012.06.15-2012.06.15)] Proceedings of the 7th Workshop on Programming Languages and Analysis for Security - PLAS '12 - Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment
Doligez, Damien, Jaume, Mathieu, Rioboo, RenaudYear:
2012
Language:
english
DOI:
10.1145/2336717.2336726
File:
PDF, 332 KB
english, 2012