Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Preeti Malakar, Thomas George, et al.
SC 2012
Robert G. Farrell, Catalina M. Danis, et al.
RecSys 2012
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization