Bounded Lazy Initialization

TitleBounded Lazy Initialization
Publication TypeConference Paper
Year of Publication2013
AuthorsGeldenhuys, J, Aguirre, N, Frias, MF, Visser, W
Conference NameNASA Formal Methods, 5th International Symposium, NFM 2013
Date Published05/2013
PublisherSpringer
Conference LocationMoffett Field, CA, USA
Refereed DesignationRefereed
Work Package: 
WP5