Email (@st-andrews.ac.uk): fs39
JC0.16 - Jack Cole Building, North Haugh
+44 (0)1334 46 1627
Home page: https://fs39.host.cs.st-andrews.ac.uk
Slama, F & Brady, EC
2017, Automatically proving equivalence by type-safe reflection
. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings.
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17
. DOI: 10.1007/978-3-319-62075-6_4
2016, Automatic predicate testing in formal certification: you’ve only proven what you’ve said, not what you meant!
in BK Aichernig & CA Furia (eds), Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016.
Lecture Notes in Computer Science, vol. 9762, Springer-Verlag, pp. 191-198, 10th International Conference on Tests and Proofs, TAP 2016 and Held as Part of Software Technologies: Applications and Foundations, STAF 2016, Vienna, Austria, 5/07/16
. DOI: 10.1007/978-3-319-41135-4_12