Workshop
EFM: 1st International Workshop on Empirical Formal Methods
Veranstaltungsort
Alfandega Porto Congress CentrePorto, Portugal
Beschreibung
Dieser Workshop nimmt den ersten wichtigen Schritt auf dem Weg zur wissenschaftlichen Erörterung der praktischen Effektivität und Relevanz der gründlichsten Ingenieursmethoden die die Informatikforschung bis dato hervor gebracht hat.