diff options
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 15 |
1 files changed, 6 insertions, 9 deletions
@@ -212,19 +212,16 @@ \input{limitations} \input{conclusion} -\subsection*{Acknowledgements} -We would 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). +\begin{acks} + We would 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). +\end{acks} %% Bibliography \bibliography{references.bib} - -%% Appendix -%\input{appendix} - \end{document} %%% Local Variables: |