Human infection with Pseudoterranova cattani by ingestion of “ceviche” in Buenos Aires, Argentina von Menghi, Claudia I., Gatta, Claudia L., Arias, Liliana E., Santoni, Gabriela, Nicola, Federico, Smayevsky, Jorgelina, Degese, Maria F., Krivokapich, Silvio J.

Volltext

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings von Ferreira, João F, Mendes, Alexandra, Menghi, Claudio

Volltext

Myiasis by Cochliomyia hominivorax in Argentina von Menghi, Claudia I., Arias, Liliana E., Gatta, Claudia L., Perazzo, Esteban, Dorronzoro, Matias, Turlan, Nicol, Martinez, Ezequiel, Vay, Carlos

Volltext

OC1.02.2 5-AMINOSALICYLATES AND RENAL FUNCTION IN CHILDREN WITH INFLAMMATORY BOWEL DISEASE von Lubrano, R, Menghi, I, Labalestra, V, Nuti, F, Falconieri, P, Borrelli, O, Cucchiara, S

Volltext

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

Volltext

Influence of 5-aminosalicylates on renal function in children with Crohn's disease and ulcerative colitis von Lubrano, R, Menghi, I, Raggi, C, Pannone, V, Guido, G, Falconieri, P, Borrelli, O, Labalestra, V, Giampietro, S, Cucchiara, S

Volltext

Role of methotrexate in paediatric ulcerative colitis von Aloi, M, Iacono, O, Cavallari, N, Conte, F, Viola, F, Civitelli, F, Romeo, E.F, Labalestra, V, Menghi, I, Cucchiara, S

Volltext

Agents and Robots for Reliable Engineered Autonomy

Volltext

Using Isabelle in Two Courses on Logic and Automated Reasoning von Villadsen, Jørgen, Jacobsen, Frederik Krogsdal

Volltext

Prospective minimally invasive pancreatic resections from the IGOMIPS registry: a snapshot of daily practice in Italy on 1191 between 2019 and 2022 von Boggi, Ugo, Donisi, Greta, Napoli, Niccolò, Partelli, Stefano, Esposito, Alessandro, Ferrari, Giovanni, Butturini, Giovanni, Morelli, Luca, Abu Hilal, Mohammad, Viola, Massimo, Di Benedetto, Fabrizio, Troisi, Roberto, Vivarelli, Marco, Jovine, Elio, Ferrero, Alessandro, Bracale, Umberto, Alfieri, Sergio, Casadei, Riccardo, Ercolani, Giorgio, Moraldi, Luca, Molino, Carlo, Dalla Valle, Raffaele, Ettorre, Giuseppe, Memeo, Riccardo, Zanus, Giacomo, Belli, Andrea, Gruttadauria, Salvatore, Brolese, Alberto, Coratti, Andrea, Garulli, Gianluca, Romagnoli, Renato, Massani, Marco, Borghi, Felice, Belli, Giulio, Coppola, Roberto, Falconi, Massimo, Salvia, Roberto, Zerbi, Alessandro

Volltext

Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience von Runge, Tobias, Bordis, Tabea, Thüm, Thomas, Schaefer, Ina

Volltext

Correction to: Prospective minimally invasive pancreatic resections from the IGOMIPS registry: a snapshot of daily practice in Italy on 1191 between 2019 and 2022 von Boggi, Ugo, Donisi, Greta, Napoli, Niccolò, Partelli, Stefano, Esposito, Alessandro, Ferrari, Giovanni, Butturini, Giovanni, Morelli, Luca, Abu Hilal, Mohammad, Viola, Massimo, Di Benedetto, Fabrizio, Troisi, Roberto, Vivarelli, Marco, Jovine, Elio, Ferrero, Alessandro, Bracale, Umberto, Alfieri, Sergio, Casadei, Riccardo, Ercolani, Giorgio, Moraldi, Luca, Molino, Carlo, Dalla Valle, Raffaele, Ettorre, Giuseppe, Memeo, Riccardo, Zanus, Giacomo, Belli, Andrea, Gruttadauria, Salvatore, Brolese, Alberto, Coratti, Andrea, Garulli, Gianluca, Romagnoli, Renato, Massani, Marco, Borghi, Felice, Belli, Giulio, Coppola, Roberto, Falconi, Massimo, Salvia, Roberto, Zerbi, Alessandro

Volltext

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games von Kamburjan, Eduard, Grätz, Lukas

Volltext

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) von Lestingi, Livia

Volltext

Online Teaching of Verification of C Programs in Applied Computer Science von Güdemann, Matthias

Volltext

Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming von Yatapanage, Nisansala

Volltext

Increasing Student Self-Reliance and Engagement in Model-Checking Courses von Körner, Philipp, Krings, Sebastian

Volltext

Introducing Formal Methods to First-Year Students in Three Intensive Weeks von Aceto, Luca, Ingólfsdóttir, Anna

Volltext

Lessons of Formal Program Design in Dafny von Ettinger, Ran

Volltext

Italian pig producers' attitude toward animal welfare von Menghi, Alberto

Volltext