Eintrag weiter verarbeiten
Software Model Checking of Linux Device Drivers : Invited Talk at the Fifth International Workshop on Verification and Program Transformation: Invited Talk at the Fifth Internation...
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Proceedings in Theoretical Computer Science, 253, 2017, S. 7-8 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |