M. Couzinier

Publication Activity (10 Years)

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

Publications

M. Couzinier, Louis Féraud
Formal Verification of Dynamic UML Diagrams using TLA+. Automation, Control, and Information Technology (2005)