HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:real-world types

Publications
The Measurement Library: Representing Physical Types in PVS
Ashlie B. Hocking and M. Anthony Aiello
In:Automated Formal Methods
Copyright © 2012-2025 easychair.org. All rights reserved.