Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
G. Ramalingam
Theoretical Computer Science
B. Wagle
EJOR
Gal Badishi, Idit Keidar, et al.
IEEE TDSC