David Notkin, "Dynamically Detecting Relevant Program Invariants," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 0162, Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00), 2000.

@article{ 10.1109/ICECCS.2000.873940,
author = {David Notkin},
title = {Dynamically Detecting Relevant Program Invariants},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {2000},
isbn = {0-7695-0583-X},
pages = {0162},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873940},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - Dynamically Detecting Relevant Program Invariants
SN - 0-7695-0583-X
SP
EP
A1 - David Notkin,
PY - 2000
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -