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) |
|
|
| |
|