A Survey on Embedding Programming Logics in a Theorem Prover (2002)

by A. Azurat , I. S. W. B. Prasetya
Venue:Institute of Information and Computing Sciences Utrecht University
Citations:8 - 2 self