John M. Boyer, Charles F. Wiecha
DocEng 2009
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998