Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theoretical Computer Science
Predicate Diagrams for the Verification of Reactive Systems
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Hi-index | 0.00 |