Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Saved in:
Bibliographic Details
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2013
SeriesLecture Notes in Computer Science
Subjects
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online AccessGet full text
ISBN3642406149
9783642406140
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-40615-7

Cover

More Information
ISBN:3642406149
9783642406140
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-40615-7