Towards the Generation of Efficient Code from Verified Programs (1984)

by John Mchugh
Citations:7 - 2 self