Experience integrating a formal method into a software engineering course
Ann E. Kelley Sobel · 1996
article Free Access Share on Experience integrating a formal method into a software engineering course Author: Ann E. Kelley Sobel Systems Analysis Department, 230 J Kreger Hall, Miami University, Oxford, OH Systems Analysis Department, 230 J Kreger Hall, Miami University, Oxford, OHView Profile Authors Info & Claims ACM SIGCSE BulletinVolume 28Issue 1March 1996 pp 271–274https://doi.org/10.1145/236462.236554Online:01 March 1996Publication History 9citation404DownloadsMetricsTotal Citations9Total Downloads404Last 12 Months5Last 6 weeks2 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 AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF