Alexandre Madeira. Verification for Everyone? An Overview of Dynamic Logic. In Madalena Chaves, Manuel A. Martins, editors, Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers. Volume 11415 of Lecture Notes in Computer Science, pages 18-33, Springer, 2018. [doi]
Abstract is missing.