Name Card

Full name Familienname, Vorname

Lúcio, Levi

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel	Full Contract Verification for ATL using Symbolic Execution	Artikel Article	2016
	2		Lúcio, Levi ; Amrani, Moussa ; Dingel, Juergen ; Lambers, Leen ; Salay, Rick ; Selim, Gehan M. K. ; Syriani, Eugene ; Wimmer, Manuel	Model transformation intents and their properties	Artikel Article	2014