A formal model of real-time program compilation
Theoretical Computer Science
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |