Real-Time Program Refinement Using Auxiliary Variables
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
A predicative semantics for real-time refinement
Programming methodology
Lifting general correctness into partial correctness is ok
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |