Model-Checking Structured Context-Free Languages

von Chiari, Michele
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Verification of Programs with Exceptions Through Operator Precedence Automata

von Pontiggia, Francesco
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages

von Mandrioli, Dino
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Formal methods

Veröffentlicht 2025

Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings

Formal methods

Veröffentlicht 2025