Search results for: Reynald Affeldt
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 400-419
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 346-360
Lecture Notes in Computer Science > Software Security — Theories and Systems > Secure Mail System Construction > 217-233
Journal of Automated Reasoning > 2014 > 53 > 1 > 63-103
Innovations in Systems and Software Engineering > 2013 > 9 > 2 > 59-77
Science of Computer Programming > 2012 > 77 > 10-11 > 1058-1074
Electronic Notes in Theoretical Computer Science > 2008 > 199 > Complete > 17-32