Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
GENOA—a customizable, front-end-retargetable source code analysis framework
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Query Algebra for Program Databases
IEEE Transactions on Software Engineering
Hi-index | 0.00 |