TY  - BOOK
AU  - Giannakopoulou,Dimitra
AU  - Salaün,G.
ED  - International Conference on Software Engineering and Formal Methods
TI  - Software engineering and formal methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783319104317
AV  - QA76.758 
U1  - 005.1 23
PY  - 2014///
CY  - Cham
PB  - Springer
KW  - Software engineering
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Génie logiciel
KW  - Congrès
KW  - Méthodes formelles (Informatique)
KW  - fast
KW  - computerwetenschappen
KW  - computer sciences
KW  - programmeertalen
KW  - programming languages
KW  - programmeren
KW  - programming
KW  - wiskunde
KW  - mathematics
KW  - logica
KW  - logic
KW  - computernetwerken
KW  - computer networks
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references and author index; Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems
N2  - This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems
UR  - https://link.springer.com/10.1007/978-3-319-10431-7
ER  -