Reasoning About Resources in the Embedded Systems Language Hume
Attributed to:
HPC-GAP: High Performance Computational Algebra and Discrete Mathematics
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-12466-7_7
Publication URI: http://dx.doi.org/10.1007/978-3-319-12466-7_7
Type: Book Chapter
Book Title: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers (2014)
Page Reference: 110-126
ISBN: 978-3-319-12465-0