The Clara Framework for Hybrid Typestate Analysis
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-010-0183-5
Full Text
Open PDFAbstract
Available in full text
Date
December 5, 2010
Authors
Publisher
Springer Science and Business Media LLC