| Title |
|
|
|
Full contract verification for ATL using symbolic execution
|
|
| Author |
|
|
|
|
|
| Language |
|
|
|
English
|
|
| Source (journal) |
|
|
|
Software and systems modeling. - Berlin |
|
| Publication |
|
|
|
Berlin : 2018
|
|
| ISSN |
|
|
|
1619-1366 [print]
1619-1374 [online]
|
|
| Volume/pages |
|
|
|
17:3(2018), p. 815-849
|
|
| Full text (Publisher's DOI) |
|
|
| |
|
| Full text (open access) |
|
|
| |
|
| Full text (publisher's version - intranet only) |
|
|
| |
|