학술논문
An abstraction refinement approach combining precise and approximated techniques
Document Type
Article
Author
Source
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, February 2012, 14(1):1-14)
Subject
Language
English
ISSN
14332779
14332787
14332787