floyd-hoare-logic

Topic Replies Views Activity
website
mathematics ,  formal-verification ,  theoretical-computer-science ,  refinement-types ,  floyd-hoare-logic ,  liquid-types
0 2 March 24, 2024