Anton Dil, Joseph Osunde. Evaluation of a tool for Java structural specification checking. In Minoru Nakayama, Fang Lou, Betsy J. Bannier, Harumi Watanabe, editors, Proceedings of the 10th International Conference on Education Technology and Computers, ICETC 2018, Tokyo, Japan, October 26-28, 2018. pages 99-104, ACM, 2018. [doi]
Abstract is missing.