Additional Metadata
ACM 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)
THEME Software (theme 1)
Publisher Springer
Editor F. Arbab (Farhad) , P.C. Ölveczky
ISBN 978-3-642-35743-5
Series Lecture Notes in Computer Science
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.