Vol-1795⫷ Vol-1796 ⫸Vol-1797
urn:nbn:de:0074-1796-0


Vol-1796/poster-paper-6⫷Vol-1796/poster-paper-7
Claudio MenghiPaola SpoletiniCarlo Ghezzi

COVER: Change-based Goal Verifier and Reasoner