Monter d'un niveau |
Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Thèse de doctorat, McGill University]. Lien externe
Oakes, B. (2013). Practical and theoretical issues of evolving behaviour trees for a turn-based game [Thèse de maîtrise, McGill University]. Lien externe