Dynamically Discovering Likely Program Invariants (Q113668117)
Jump to navigation
Jump to search
doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamically Discovering Likely Program Invariants |
doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000 |