Lixi Zhou, Jiaqing Chen, et al.
VLDB
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
Social networks and discovery in the enterprise (SaND)
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
G. Ramalingam
Theoretical Computer Science
Fan Zhang, Junwei Cao, et al.
IEEE TETC