Daniel M. Bikel, Vittorio Castelli
ACL 2008
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM