FM 2015 [electronic resource] : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Nikolaj Bjørner, Frank de Boer (eds.).
International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway); Björner, Nikolaj, editor.; Boer, Frank S. de, editor.
2015
QA76.9.F67 I58 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title FM 2015 [electronic resource] : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Nikolaj Bjørner, Frank de Boer (eds.).
Meeting Name International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)
ISBN 9783319192499 electronic book
3319192493 electronic book
9783319192482
DOI https://doi.org/10.1007/978-3-319-19249-9
Published Cham : Springer, 2015.
Language English
Description 1 online resource (xvi, 610 pages) : illustrations.
Item Number 10.1007/978-3-319-19249-9 doi
Call Number QA76.9.F67 I58 2015eb
Dewey Decimal Classification 004.01/51
Summary This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 29, 2015).
Added Author Björner, Nikolaj, editor.
Boer, Frank S. de, editor.
Series Lecture notes in computer science ; 9109.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Automated circular assume-guarantee reasoning
Towards formal verification of orchestration computations using the K framework
Narrowing operators on template abstract domains.

Browse Subjects

Show more subjects...

Statistics

from
to
Export