Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Kento Tsubouchi, Yosuke Mitsuhashi, et al.
npj Quantum Information
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010