Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 377-398
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Barnett, M., DeLine, R., F¨ahndrich, M., Leino, K. R. M., Schulte, W.: Verification of object-oriented programs with invariants, Journal of Object Technology, 3(6), June 2004, 27-56.
-
[2] Barnett, M., Leino, K. R. M., Schulte,W.: The Spec# programming system: An overview, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS '04), LNCS 3362, Springer, 2005.
-
[3] Barnett, M., Naumann, D. A.: Friends Need a Bit More: Maintaining Invariants Over Shared State, Mathematics of Program Construction (MPC '04), LNCS 3125, Springer, 2004.