David S. Kung
DAC 1998
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Oliver Bodemer
IBM J. Res. Dev
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Bowen Zhou, Bing Xiang, et al.
SSST 2008