diff options
Diffstat (limited to 'assignment3.tex')
| -rw-r--r-- | assignment3.tex | 40 |
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} + |