Old Web
English
Sign In
Acemap
>
Paper
>
Model checking programs. Automated Software Engineering Journal
Model checking programs. Automated Software Engineering Journal
2003
Willem Visser
Klaus Havelund
Guillaume Brat
Seungjoon Park
Flavio Lerda
Keywords:
Software verification
Software engineering
Software construction
Package development process
Software verification and validation
Software system
Software development
Component-based software engineering
Software requirements
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
8
Citations
NaN
KQI
[]