Continuous Action System Refinement
From MaRDI portal
Publication:3618830
DOI10.1007/11783596_19zbMath1235.68104MaRDI QIDQ3618830
Ian J. Hayes, Larissa A. Meinicke
Publication date: 2 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11783596_19
68Q60: Specification and verification (program logics, model checking, etc.)