Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Paper
An experiment in automatic verification of programs
Related
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007