Bootstrap report

1 files changed, 33 insertions, 0 deletions

diff --git a/Assignment2/report/assignment2.tex b/Assignment2/report/assignment2.tex
new file mode 100644
index 0000000..29ec95a
--- /dev/null
+++ b/Assignment2/report/assignment2.tex
@@ -0,0 +1,33 @@
+\documentclass[runningheads]{llncs}
+
+\usepackage{amsmath}
+\usepackage{amssymb}
+
+\let\leq\leqslant
+\let\le\leqslant
+\let\geq\geqslant
+\let\ge\geqslant
+
+\DeclareMathOperator{\Uop}{\mathsf{U}}
+
+\begin{document}
+
+\title{Model Repair in Practice}
+\author{Camil Staps \and Erin van der Veen}
+\authorrunning{C. Staps \and E. van der Veen}
+\institute{%
+	Radboud University, Nijmegen, The Netherlands\\
+	\email{\{c.staps,e.vanderveen\}@student.ru.nl}}
+
+\maketitle
+
+\begin{abstract}
+	Model repair bladibla % TODO
+\end{abstract}
+
+\input{intro}
+
+\bibliography{library}
+\bibliographystyle{splncs04}
+
+\end{document}