Affordable Access

deepdyve-link deepdyve-link
Publisher Website

Are There Good Mistakes? A Theoretical Analysis of CEGIS

Authors
Type
Published Article
Publication Date
Submission Date
Identifiers
DOI: 10.4204/EPTCS.157.10
arXiv ID: 1407.5397
Source
arXiv
External links

Abstract

Statistics

Seen <100 times