DMCA

An Overview of the Leon Verification System Verification by Translation to Recursive Functions

by Régis Blanc , Viktor Kuncak , Etienne Kneuss
Citations:9 - 8 self