Analysis of Imperative Programs through Analysis of Constraint Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
The case for analysis preserving language transformation
Proceedings of the 2006 international symposium on Software testing and analysis
Abstract clustering for program comprehension
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Hi-index | 0.00 |