Formal veri of explicitly parallel microprocessors (1999)

by B Cook, J Launchbury, J Matthews, D Kieburtz
Venue:In Pierre and Kropf [42