Verificatie van een stuk wiskundige taal

N.G. de Bruijn

Research output: Book/ReportReportPopular

28 Downloads (Pure)
Original languageDutch
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages9
Publication statusPublished - 1967

Cite this

de Bruijn, N. G. (1967). Verificatie van een stuk wiskundige taal. Eindhoven: Technische Hogeschool Eindhoven.