Automated interactive software verification and synthesis
Autor: | Hughes, Roger Brett |
---|---|
Rok vydání: | 1992 |
Předmět: | |
Druh dokumentu: | Electronic Thesis or Dissertation |
Databáze: | Networked Digital Library of Theses & Dissertations |
Externí odkaz: |
Autor: | Hughes, Roger Brett |
---|---|
Rok vydání: | 1992 |
Předmět: | |
Druh dokumentu: | Electronic Thesis or Dissertation |
Databáze: | Networked Digital Library of Theses & Dissertations |
Externí odkaz: |