assignment3.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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}