@article{915751,
      note = {International conference proceedings.},
      author = {Biondi, Fabrizio, and Given-Wilson, Thomas, and Legay,  Axel,},
      url = {http://library.usi.edu/record/915751},
      title = {Model checking software : 26th International Symposium,  SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /.  International SPIN Workshop},
      abstract = {This book constitutes the refereed proceedings of the 26th  International Symposium on Model Checking Software, SPIN  2019, held in Beijing, China, in July 2019. The 11 full  papers presented and 2 demo-tool papers, were carefully  reviewed and selected from 29 submissions. Topics covered  include formal verification techniques for automated  analysis of software; formal analysis for modeling  languages, such as UML/state charts; formal specification  languages, temporal logic, design-by-contract; model  checking, automated theorem proving, including SAT and SMT;  verifying compilers; abstraction and symbolic execution  techniques; and much more. --},
      doi = {https://doi.org/10.1007/978-3-030-30923-7},
      recid = {915751},
      pages = {1 online resource (x, 261 pages) :},
}