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

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Rudnicki-Drabent/85"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Proving properties of Pascal programs in MIZAR 2 Publikation auswählen
Piotr Rudnicki, Wlodzimierz Drabent

Acta Informatica 22 (3), 1985, pp. 311-331

Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong
Institution:  Inst. of Comput. Sci., Polish Acad. of Sci., Warszawa, Poland
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=311
 
Note:   see Erratum in Acta Inf., Vol. 22, 699-707