I giorni sotto la luna : lunari, almanacchi e cantari ; la cultura popolare parmense nella Biblioteca Palatina

Veröffentlicht 2011

˜Iœ giorni sotto la luna : lunari, almanacchi e cantari ; la cultura popolare parmense nella Biblioteca Palatina

Veröffentlicht 2011

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)

Model-Checking Structured Context-Free Languages

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

DOML: A New Modelling Approach to Infrastructure-as-Code

von Chiari, Michele
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)