Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Guyadec, Yann le"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Formal validation of data-parallel programs: A two-component assertional proof system for a simple language Publikation auswählen
Luc Bougé, David Cachera, Yann le Guyadec, Gil Utard, Bernard Virot

Theoretical Computer Science 189 (1-2), 1997, pp. 71-107

Publisher:  Elsevier Science Publishers B.V. (North Holland)
Address:  Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo