COVER: Change-based Goal Verifier and Reasoner.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi
January 2017
Type
Conference paper
Publication
REFSQ Workshops