Bounded Lazy Initialization
| Title | Bounded Lazy Initialization |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Geldenhuys, J, Aguirre, N, Frias, MF, Visser, W |
| Conference Name | NASA Formal Methods, 5th International Symposium, NFM 2013 |
| Date Published | 05/2013 |
| Publisher | Springer |
| Conference Location | Moffett Field, CA, USA |
| Refereed Designation | Refereed |
Work Package:
WP5
