|
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]
|
|
|
DOI
|
|
|
|
10.1007/S10270-016-0548-7
|
|
|
Volume/pages
|
|
|
|
17
:3
(2018)
, p. 815-849
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|