Safe concurrency for aggregate objects with invariants

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.39 ◽

2005 ◽

Cited By ~ 28

Author(s):

B. Jacobs ◽

K.R.M. Leino ◽

F. Piessens ◽

W. Schulte

Download Full-text