search for: eec1ede1

Displaying 1 result from an estimated 1 matches for "eec1ede1".

2013 Sep 14
1
[LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software
...of Electronic Testing: Theory and Applications, September 2013. ( http://rd.springer.com/article/10.1007/s10836-013-5405-9) Kind regards, Marcelo Sousa -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130914/eec1ede1/attachment.html>