Fan Zhang, Junwei Cao, et al.
IEEE TETC
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
György E. Révész
Theoretical Computer Science
Preeti Malakar, Thomas George, et al.
SC 2012
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design