Development of Correct Programs
David Gries · ACM eBooks · 2022
chapter Share on Development of Correct Programs Author: David Gries View Profile Authors Info & Claims Edsger Wybe Dijkstra: His Life,Work, and LegacyJuly 2022 Pages 141–168https://doi.org/10.1145/3544585.3544594Published:13 July 2022Publication History 0citation4DownloadsMetricsTotal Citations0Total Downloads4Last 12 Months4Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access