A logical framework to prove properties of Alpha programs (1996)

by L Boug'e, D Cachera
Venue:In Proc. Application-Specific Arrays and Processors, IEEE