Move and add to the acknowledgements

1 files changed, 6 insertions, 0 deletions

diff --git a/main.tex b/main.tex
index 8b81f03..0bca3ca 100644
--- a/main.tex
+++ b/main.tex
@@ -182,6 +182,12 @@
 \input{limitations}
 \input{conclusion}
 
+\subsection*{Acknowledgements}
+We'd like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the anonymous
+reviewers for their helpful feedback.  This work was financially supported by the EPSRC via the
+Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS Programme Grant
+(EP/R006865/1).
+
 %% Bibliography
 \bibliography{references.bib}