Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975