Tassel. The HOL verification of ELLA designs (1991)

by R Boulton, M Gordon, J Herbert, J van
Venue:In International Workshop on Formal Methods in VLSI Design