Proceedings of the 7th workshop on Programming languages meets program verification
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Digital Library | ACM ConferencesVerlag: New York, NY : ACM, 2013Beschreibung: Online-Ressource (1 online resource (80 pages))ISBN:- 9781450318600
- PLPV '13
Dieser Titel hat keine Exemplare
Association for Computing Machinery-Digital Library