Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Thomas M. Cheng
IT Professional
Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011