| |
 Online-Ressource | |
| Verfasst von: | Claessen, Koen [VerfasserIn]  |
| Titel: | Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design |
| Mitwirkende: | Kuncak, Viktor [MitwirkendeR] |
| Institutionen: | ACM Special Interest Group on Programming Languages [MitwirkendeR] |
| ACM Special Interest Group on Software Engineering [MitwirkendeR] | |
| Verf.angabe: | Edited by Koen Claessen, Viktor Kuncak |
| Verlagsort: | Austin,Texas |
| Verlag: | FMCAD Inc |
| Jahr: | 2014 |
| Umfang: | 1 online resource (219 pages) |
| Gesamttitel/Reihe: | ACM Other conferences |
| ACM Digital Library | |
| Fussnoten: | Title from The ACM Digital Library |
| ISBN: | 978-0-9835678-4-4 |
| DOI: | doi:10.5555/2682923 |
| URL: | Verlag: https://dl.acm.org/action/showBook?doi=10.5555/2682923 |
| DOI: https://doi.org/10.5555/2682923 | |
| Datenträger: | Online-Ressource |
| Dokumenttyp: | Konferenzschrift |
| Sprache: | eng |
| Sach-SW: | Computer science |
| Computer-aided design | |
| Formal software verification | |
| Formal methods | |
| K10plus-PPN: | 1752065204 |
| Lokale URL UB: |  Zum Volltext |
Andere Auflagen/Ausgaben