Reasoning about connectors using Coq and Z3
In: Science of computer programming, Jg. 170 (2019), S. 27-44
Online
serialPeriodical
Zugriff:
Titel: |
Reasoning about connectors using Coq and Z3
|
---|---|
Autor/in / Beteiligte Person: | Zhang, Xiyue ; Hong, Weijiang ; Li, Yi ; Sun, Meng |
Link: | |
Zeitschrift: | Science of computer programming, Jg. 170 (2019), S. 27-44 |
Veröffentlichung: | 2019 |
Medientyp: | serialPeriodical |
ISSN: | 0167-6423 (print) |
Sonstiges: |
|