LPI: Software Verification with Local Policy Iteration (Competition Contribution) : Tools and algorithms for the construction and analysis of systems (International conference)
In: Lecture notes in computer science 9636:930-933; Jg. 9636 (2016) S. 930-933
Konferenz
Zugriff:
Titel: |
LPI: Software Verification with Local Policy Iteration (Competition Contribution) : Tools and algorithms for the construction and analysis of systems (International conference)
|
---|---|
Autor/in / Beteiligte Person: | Karpenkov, Egor George |
Link: | |
Quelle: | Lecture notes in computer science 9636:930-933; Jg. 9636 (2016) S. 930-933 |
Veröffentlichung: | 2016 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|