![](/img/cover-not-exists.png)
[ACM Press the Seventh Workshop - Farmington, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Seventh Workshop on Programming Languages and Operating Systems - PLOS '13 - Towards a verified component platform
Fernandez, Matthew, Kuz, Ihor, Klein, Gerwin, Andronick, JuneYear:
2013
Language:
english
DOI:
10.1145/2525528.2525535
File:
PDF, 270 KB
english, 2013