Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Nanda Kambhatla
ACL 2004