2012
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Publication
Publication
Additional Metadata | |
---|---|
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) | |
Springer | |
F. Arbab (Farhad) , P.C. Ölveczky | |
978-3-642-35743-5 | |
Lecture Notes in Computer Science | |
Organisation | 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.
|