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

Submitted by Anonymous (not verified) on 03/12

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

Language Undefined