Article citationsMore>>

Pearce, D.J. and Groves, L. (2015) Designing a Verifying Compiler: Lessons Learned from Developing Whiley. Science of Computer Programming, 113, 191-220.
https://doi.org/10.1016/j.scico.2015.09.006

has been cited by the following article: