2012-01-01
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Publication
Publication
| 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 |
| Citation |
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.
|