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
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Acta Cybernetica
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering
| Hi-index | 0.01 |