Willumsen E. Source Code and Formal Analysis: A Reading of Passage. ToDiGRA [Internet]. 2017 Sep. 22 [cited 2024 Dec. 4];3(2). Available from: https://todigra.org/index.php/todigra/article/view/1747