Dynamically Discovering Likely Program Invariants
(Q113668117)
doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000
doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000
Language:
Current Data About
Dynamically Discovering Likely Program Invariants
| (P31) |
(Q187685)
|
||||||||
| (P50) |
(Q102251049)
|
||||||||
| (P407) |
(Q1860)
|
||||||||
| (P571) |
+2000-00-00T00:00:00Z
|
||||||||
| (P953) |
http://hdl.handle.net/1773/6854
|
||||||||
| (P1104) |
142
7
|
||||||||
| (P1476) |
"Dynamically Discovering Likely Program Invariants" (language: en)
|
||||||||
| (P4101) |
(Q219563)
|
||||||||
| (P5008) |
(Q98970039)
|