UML User Interface to a Proof-based Hardware Design Flow.

D. Moisuc, S. Revol, Colin F. Snook

Browse the full FDL paper archive.