John Longley (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 John Longley, Randy Pollack: Reasoning About CBV Functional Programs in Isabelle/HOL. TPHOLs 2004: 201-216

Selection of 1 from 11 records - John Longley has 6 coauthors