Building Reliable, High-Performance Networks with the Nuprl Proof Development System

by Christoph Kreitz
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:17 - 4 self