Formally Efficient Program Instrumentation.

Boris Feigin, Alan Mycroft

Browse the full RV paper archive.