Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Invariant Discovery via Failed Proof Attempts
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Relational characterizations of system fault tolerance
Science of Computer Programming
| Hi-index | 0.00 |