Development of Secured Systems by Mixing Programs, Specifications and Proofs in an Object-Oriented Programming Environment
doi 10.1145/2336717.2336726
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2012
Authors
Publisher
ACM Press