S. Revol

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

D. Moisuc, S. Revol, Colin F. Snook
UML User Interface to a Proof-based Hardware Design Flow. FDL (2006)