Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Robert C. Durbeck
IEEE TACON
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010