Constantinos Constantinides, Therapon Skotiniotis. The provision of contracts to enforce system semantics throughout software development. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 607-616, IASTED/ACTA Press, 2004.
No references recorded for this publication.
No citations of this publication recorded.