[Zurück]


Zeitschriftenartikel:

B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Full Contract Verification for ATL using Symbolic Execution";
Software and Systems Modeling, TBD (2016), TBD; S. 1 - 36.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10270-016-0548-7

Elektronische Version der Publikation:
http://dx.doi.org/10.1007/s10270-016-0548-7


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.