Specification and Verification of Invariants by Exploiting Layers in OO Designs.

Saved in:

Bibliographic Details
Title:	Specification and Verification of Invariants by Exploiting Layers in OO Designs.
Authors:	Middelkoop, Ronald¹, r.middelkoop@tue.nl, Huizing, Cornelis¹, c.huizing@tue.nl, Kuiper, Ruurd¹, r.kuiper@tue.nl, Luit, Erik J.¹, e.j.luit@tue.nl
Source:	Fundamenta Informaticae; 2008, Vol. 85 Issue 1-4, p377-398, 22p, 4 Diagrams
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/fun-2008-851-426