Dynamically Discovering Likely Program Invariants
doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000
Press Enter · cited answer in seconds
0 sources
Dynamically Discovering Likely Program Invariants
Summary
Dynamically Discovering Likely Program Invariants is a doctoral thesis[1].
Key Facts
- Dynamically Discovering Likely Program Invariants authored Michael D. Ernst[2].
- Dynamically Discovering Likely Program Invariants's instance of is recorded as doctoral thesis[3].
- Dynamically Discovering Likely Program Invariants's OCLC number is recorded as 46773406[4].
- Dynamically Discovering Likely Program Invariants's language of work or name is recorded as English[5].
- +2000-00-00T00:00:00Z marks the founding of Dynamically Discovering Likely Program Invariants[6].
- Dynamically Discovering Likely Program Invariants's work available at URL is recorded as http://hdl.handle.net/1773/6854[7].
- Dynamically Discovering Likely Program Invariants's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+142'}[8].
- Dynamically Discovering Likely Program Invariants's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q56761382', 'amount': '+7'}[9].
- Dynamically Discovering Likely Program Invariants's Handle ID is recorded as 1773/6854[10].
- Dynamically Discovering Likely Program Invariants's title is recorded as Dynamically Discovering Likely Program Invariants[11].
- Dynamically Discovering Likely Program Invariants's thesis submitted to is recorded as University of Washington[12].
- Dynamically Discovering Likely Program Invariants's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington[13].
Body
Designation and Status
Dynamically Discovering Likely Program Invariants's instance of is recorded as doctoral thesis[3].
History and Context
+2000-00-00T00:00:00Z marks the founding of Dynamically Discovering Likely Program Invariants[6].