Mechanizing a Theory of Program Composition for UNITY (2001)

by Lawrence C. Paulson
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:10 - 4 self