09 April 2016
Published
Springer
10.1007/978-3-662-49674-9_37
Engineering and Physical Sciences Research Council
Lin, Y., Le Bras, P., & Grov, G. (2016). Developing and Debugging Proof Strategies by Tinkering. In Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016 (573-579). https://doi.org/10.1007/978-3-662-49674-9_37
LecturerSchool of Computing Engineering and the Built Environment
0131 455 2668
P.LeBras@napier.ac.uk