Informatica als wetenschap : formele specificatie en wiskundige verificatie

J.C.M. Baeten

Research output: Book/ReportInaugural speechAcademic

52 Downloads (Pure)
Original languageDutch
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages15
Publication statusPublished - 1992

Bibliographical note

Intreerede, uitgesproken op vrijdag 30 oktober 1992 aan de Technische Universiteit Eindhoven

Cite this