Publication
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
Volume/pages
17:3(2018), p. 815-849
Full text (Publisher's DOI)
Full text (open access)
Full text (publisher's version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
External links
Record
Identification
Creation 26.11.2018
Last edited 28.11.2018