Preeti Malakar, Thomas George, et al.
SC 2012
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
M.F. Cowlishaw
IBM Systems Journal
Conference paper
Soft x-ray diffraction of striated muscle
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989