Skip to content

Formal reasoning about runtime code update.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

VenueA*ICDE
Year2011
ProceedingsICDE Workshops

Browse the full ICDE paper archive.