Skip to content

COVER: Change-based Goal Verifier and Reasoner.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

VenueBREFSQ
Year2017
ProceedingsREFSQ Workshops

Browse the full REFSQ paper archive.