3 citations · 3 across the 1 of their papers we have counts for
1 paper
David S. Hardin, Jennifer A. Davis, David A. Greve +1
In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystem…