Formal techniques and sizeable programs

E.W. Dijkstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationECI Conference 1976 (Proceedings 1st European Conference in Informatics, Amsterdam, The Netherlands, August 9-12, 1976)
EditorsA. Samelson
Place of PublicationBerlin
PublisherSpringer
Pages225-235
Number of pages11
ISBN (Electronic)978-3-540-38215-7
ISBN (Print)3-540-07804-5
DOIs
Publication statusPublished - 1976

Publication series

NameLecture Notes in Computer Science
Volume44
ISSN (Print)0302-9743

Cite this