D. Moisuc

According to our database, D. Moisuc authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

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

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

Proceedings of the Forum on specification and Design Languages, 2006