Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers

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
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers. (2012). Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers. In F. Arbab & P. C. Ölveczky (Eds.), Lecture Notes in Computer Science. Springer.

Additional Files
Publisher Version

Publication