José Diego De la Cruz

Publication Activity (10 Years)

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

Publications

José Diego De la Cruz, Lam-Son Lê, Alain Wegmann
Validation of Visual Contracts for Services. MSVVEIS (2006)
José Diego De la Cruz, Lam-Son Lê, Alain Wegmann
Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. ICEIS (3) (2006)