Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

3/12 Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

Undefined