Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
B. Wagle
EJOR
Kento Tsubouchi, Yosuke Mitsuhashi, et al.
npj Quantum Information