Robert Givan

Automatically inferring properties of computer programs.
. Massachusetts Institute of Technology, Cambridge, MA, USA, (1996)ndltd.org (oai:dspace.mit.edu:1721.1/11051).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: Robert Givan
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden