xmlui.themes.about.link
Visualizar D30 Congresos por autor "Le Botlan, Didier"
Mostrando ítems 1-2 de 2
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael
; Graf, Susanne; Gutiérrez García, José Javier; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael; Graf, Susanne; Gutiérrez García, José Javier; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
