Symbolic Execution with Abstraction
Date
2009
Authors
Anand S
Pasareanu CS
Visser W
Journal Title
Journal ISSN
Volume Title
Publisher
International Journal on Software Tools for Technology Transfer
Abstract
Description
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Natuurwetenskappe
Rekenaarwetenskap
Natuurwetenskappe
Rekenaarwetenskap