Reasoning about connectors using Coq and Z3
| Autor: | Zhang, Xiyue, Hong, Weijiang, Li, Yi, Sun, Meng |
|---|---|
| Zdroj: | In Science of Computer Programming 15 January 2019 170:27-44 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Zhang, Xiyue, Hong, Weijiang, Li, Yi, Sun, Meng |
|---|---|
| Zdroj: | In Science of Computer Programming 15 January 2019 170:27-44 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect