Full name Familienname, Vorname
Oakes, Bentley James
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Oakes, Bentley James ; Troya, Javier ; LĂșcio, Levi ; Wimmer, Manuel Full Contract Verification for ATL using Symbolic ExecutionArtikel Article 2016
2Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel Fully verifying transformation contracts for declarative ATLKonferenzbeitrag Inproceedings 2015