Automated Contract Driven Development With UML's OCL

Automated Contract Driven Development With UML's OCL

Authors
J. Dzidek