Logical framework based program development
David Basin · ACM Computing Surveys · 1998
article Free Access Share on Logical framework based program development Author: David Basin Institut für Informatik, Universität Freiburg, D-79110 Freiburg, Germany Institut für Informatik, Universität Freiburg, D-79110 Freiburg, GermanyView Profile Authors Info & Claims ACM Computing SurveysVolume 30Issue 3esSept. 1998 pp 1–eshttps://doi.org/10.1145/289121.289122Published:01 September 1998Publication History 1citation596DownloadsMetricsTotal Citations1Total Downloads596Last 12 Months13Last 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 SiteeReaderPDF