Login / Signup
Scalable Automated Proving and Debugging of Set-Based Specifications.
Jean-François Couchot
David Déharbe
Alain Giorgetti
Silvio Ranise
Published in:
J. Braz. Comput. Soc. (2004)
Keyphrases
</>
machine learning
small number
case study
user defined
initial set
information systems
object oriented
fully automated