Creational Invariants

C. Pierik, D.G. Clarke, F.S. de Boer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationFormal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004)
Publication statusPublished - 2004

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this