Treffer: A trustworthy framework for resource-aware embedded programming
Title:
A trustworthy framework for resource-aware embedded programming
Authors:
Contributors:
Horizon 2020, Engineering and Physical Sciences Research Council
Source:
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages ; page 1-12
Publisher Information:
ACM
Publication Year:
2019
Document Type:
Konferenz
conference object
Language:
unknown
DOI:
10.1145/3412932.3412944
Availability:
Accession Number:
edsbas.DB464CEE
Database:
BASE