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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
David Notkin, "Dynamically Detecting Relevant Program Invariants," iceccs, pp.0162, Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00), 2000
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb