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