Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
University Assets
Projects and Grants
Research output
Press / Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Silver-ableC: a Silver extension for writing ableC specifications
Eric Van Wyk
(Creator)
Computer Science and Engineering
Dataset
Overview
Date made available
2019
Publisher
Data Repository for the University of Minnesota
Contact person
Eric Van Wyk
Access Dataset
http://hdl.handle.net/11299/206532
Cite this
DataSetCite
Van Wyk, E. (Creator) (
2019
). Silver-ableC: a Silver extension for writing ableC specifications. Data Repository for the University of Minnesota.