Assignment 3

1 files changed, 40 insertions, 0 deletions

diff --git a/assignment3.tex b/assignment3.tex
new file mode 100644
index 0000000..c3fc8ea
--- /dev/null
+++ b/assignment3.tex
@@ -0,0 +1,40 @@
+\documentclass[a4paper]{article}
+
+\usepackage{geometry}
+\usepackage[english]{babel}
+
+\usepackage{enumitem}
+\setenumerate[1]{label=\alph*)}
+
+\usepackage{fancyhdr}
+\renewcommand{\headrulewidth}{0pt}
+\renewcommand{\footrulewidth}{0pt}
+\fancyhead{}
+\fancyfoot[C]{Copyright {\textcopyright} 2016 Camil Staps}
+\pagestyle{fancy}
+
+\usepackage{sv}
+
+\title{Software Verification - assignment 3}
+\author{Camil Staps}
+
+\usepackage{graphicx}
+
+\begin{document}
+
+\maketitle
+\thispagestyle{fancy}
+
+\begin{center}
+  \begin{minipage}{.4\linewidth}
+    \centering
+    \includegraphics[width=.8\linewidth]{assignment3-leastfirst}
+  \end{minipage}
+  \begin{minipage}{.4\linewidth}
+    \centering
+    \includegraphics[width=.9\linewidth]{assignment3-mostfirst}
+  \end{minipage}
+\end{center}
+
+\end{document}
+