Software/Program Verification (acm D.2.4), SOFTWARE ENGINEERING (acm D.2), MATHEMATICAL LOGIC AND FORMAL LANGUAGES (acm F.4), LOGICS AND MEANINGS OF PROGRAMS (acm F.3), Online Information Services (acm H.3.5)
Software (theme 1)
F. Arbab (Farhad) , P.C. Ölveczky
Lecture Notes in Computer Science
Computer Security

Arbab, F, & Ölveczky, P.C (Eds.). (2012). Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers. (F Arbab & P.C Ölveczky, Eds.)Lecture Notes in Computer Science. Springer.