AUTHOREA
Log in Sign Up Browse Preprints

March 11, 2021
Natural Hoare Logic: Towards formal verification of programs from logical forms of na...
Jayaraj Poroor