vix.ing · top · new · best · stats · spec

J G. Brotherston

  1. Cyclic proofs of program termination in separation logic
    2008/01/07 by J G. Brotherston, Richard Bornat, Cristiano Calcagno · 1 citation
    Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge