Name Card

Full name Familienname, Vorname

Oakes, Bentley James

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		Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel	Fully verifying transformation contracts for declarative ATL	Konferenzbeitrag Inproceedings	2015