Toggle navigation
Home
People
Departments
Research
About
Login
Search
COVER: Change-based goal verifier and reasoner
Conferences
Overview
Additional Document Info
View All
Overview
authors
Menghi, Claudio
Spoletini, P
Ghezzi, C
status
published
publication date
January 1, 2017
published in
CEUR Workshop Proceedings
Journal
Additional Document Info
volume
1796