Mario Gleirscher
AuthID: R-00K-1YQ
1
TÃTULO: Does Every Computer Scientist Need to Know Formal Methods? Full Text
AUTORES: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 1
AUTORES: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLICAÇÃO: 2025, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, NÚMERO: 1
2
TÃTULO: Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021
AUTORES: Mario Gleirscher; Jaco van de Pol; Jim Woodcock;
PUBLICAÇÃO: 2021, FONTE: AppFM@FM, VOLUME: 349
AUTORES: Mario Gleirscher; Jaco van de Pol; Jim Woodcock;
PUBLICAÇÃO: 2021, FONTE: AppFM@FM, VOLUME: 349
INDEXADO EM: 
DBLP
DBLP