TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-319-19249-9
DO  - doi
AB  - 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.
T1  - FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
AU  - Björner, Nikolaj,
AU  - Boer, Frank S. de,
VL  - 9109
CN  - QA76.9.F67
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 727356
KW  - Formal methods (Computer science)
SN  - 9783319192499
SN  - 3319192493
TI  - FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-19249-9
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-19249-9
ER  -