[LLVMdev] Publication at ICFEM 2014

Simo simo at nii.ac.jp
Tue Oct 28 03:43:12 PDT 2014

Hi everyone,

I would like the following publication to appear on the LLVM website.
It would be great if somebody could add the paper to

Below, the reference:
A Formula-Based Approach for Automatic Fault Localization of Imperative
Si-Mohamed Lamraoui and Shin Nakajima.
Proceedings of the 16th International Conference on Formal Engineering
Methods (ICFEM '14). November, 2014.
Link: http://dx.doi.org/10.1007/978-3-319-11737-9_17

Thank you,
Si-Mohamed Lamraoui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141028/246ee2dd/attachment.html>

More information about the llvm-dev mailing list