C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Informal Proof Analysis Towards Testing Enhancement.
Guillaume Lussier
Hélène Waeselynck
Published in:
ISSRE (2002)
Keyphrases
</>
data analysis
quantitative analysis
automatic analysis
wide range
evolutionary algorithm
statistical analysis
theorem proving