diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 20:43:47 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 20:43:47 +0100 |
commit | c8f372795fa8ca90f62f556fc8cf4f17250e99ad (patch) | |
tree | 17ebbfdb95803b0b43767e6858085073a87105e7 /main.tex | |
parent | 8507d0413b34fcc2744a922048ce55ca06b7978f (diff) | |
download | oopsla21_fvhls-c8f372795fa8ca90f62f556fc8cf4f17250e99ad.tar.gz oopsla21_fvhls-c8f372795fa8ca90f62f556fc8cf4f17250e99ad.zip |
Fix capitalisation of titles
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -213,10 +213,10 @@ \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). +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). %% Bibliography \bibliography{references.bib} |