Eintrag weiter verarbeiten
Incremental bounded model checking for embedded software
Gespeichert in:
Zeitschriftentitel: | Formal Aspects of Computing |
---|---|
Personen und Körperschaften: | , , , , , |
In: | Formal Aspects of Computing, 29, 2017, 5, S. 911-931 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |