Sciweavers

OOPSLA
2007
Springer

Establishing object invariants with delayed types

14 years 5 months ago
Establishing object invariants with delayed types
Manuel Fähndrich, Songtao Xia
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where OOPSLA
Authors Manuel Fähndrich, Songtao Xia
Comments (0)