A graphical user interface for executing formal specifications
Xiaowen Chen, Tim Wahls · 2001
Article Share on A graphical user interface for executing formal specifications Authors: Xiaowen Chen Department of Mathematical and Computer Sciences, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PA Department of Mathematical and Computer Sciences, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PAView Profile , Tim Wahls Department of Mathematical and Computer Sciences, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PA Department of Mathematical and Computer Sciences, Penn State Harrisburg, 777 W. Harrisburg Pike, Middletown, PAView Profile Authors Info & Claims SAC '01: Proceedings of the 2001 ACM symposium on Applied computingMarch 2001 Pages 648–652https://doi.org/10.1145/372202.372792Published:01 March 2001Publication History 1citation301DownloadsMetricsTotal Citations1Total Downloads301Last 12 Months3Last 6 weeks0 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 SiteGet Access