Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Limin Hu
IEEE/ACM Transactions on Networking
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
B. Wagle
EJOR