Yao Qi, Raja Das, et al.
ISSTA 2009
Paper
An experiment in automatic verification of programs
Related
Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Robert E. Donovan
INTERSPEECH - Eurospeech 2001