Formal Veri of an Advanced Pipelined Machine (1999)

by J Sawada
Venue:SIAM J. Numer. Anal