Title

Formal Methods. FM 2019 International Workshops. Pt.II

Title Supplement

Porto, Portugal, October 7-11, 2019, Revised Selected Papers

Person Involved

Publisher

Springer Nature

Publishing Place

Cham

Publication Date

2020

Series

Lecture Notes in Computer Science; 12233

ISBN

978-3-030-54996-1

978-3-030-54997-8

978-3-030-54998-5

Conference

World Congress on Formal Methods (FM) 2019

History of Formal Methods Workshop (HFM) 2019

International Workshop on Numerical and Symbolic Abstract Domains (NSAD) 2019

International Workshop on Open Community Approaches to Education, Research and Technology (OpenCERT) 2019

Overture Workshop (Overture) 2019

Refinement Workshop (Refine) 2019

International Workshop on Reversibility in Programming, Languages, and Automata (RPLA) 2019

International Workshop on Static Analysis and Systems Biology (SASB) 2019

Workshop on Tools for Automatic Program Analysis (TAPAS) 2019