Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Johnsen Einar Broch (Directeur de publication), Petre Luigia (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings / edited by Einar Broch Johnsen, Luigia Petre.
Édition : 1st ed. 2013.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , [20..]
Cham : Springer Nature
Collection : Programming and Software Engineering ; 7940
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Note sur l'URL : Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Condition d'utilisation et de reproduction : Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017
Sujets :
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Software Engineering
Computer Science Logic and Foundations of Programming
Compilers and Interpreters
Formal Languages and Automata Theory
Documents associés : Autre format: Integrated Formal Methods
Autre format: Integrated Formal Methods
Description
Résumé : This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis
ISBN : 978-3-642-38613-8
DOI : 10.1007/978-3-642-38613-8