Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Paper
An experiment in automatic verification of programs
Related
Thomas M. Cheng
IT Professional
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics