Producing reliable software: an experiment
Journal of Systems and Software
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Towards an Evolutionary Formal Software Development
Proceedings of the 16th IEEE international conference on Automated software engineering
Rewriting of imperative programs into logical equations
Science of Computer Programming
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |