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

by John Mchugh
Citations:6 - 1 self