Commit dd958809 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Update

parent 1bcdb8db
\documentclass[sigconf]{acmart}
\usepackage{booktabs} % For formal tables
%\usepackage{algorithm}% http://ctan.org/pkg/algorithms
\usepackage{amssymb} % math stuff
\usepackage{amsmath} % more math stuff
\usepackage{mathtools} % for \coloneqq (defines-symbol := )
\usepackage{graphicx} % for graphics
\usepackage{listings}
\usepackage{float}
\usepackage{ upgreek }
\lstset{
tabsize=2
}
% Copyright
%\setcopyright{none}
%\setcopyright{acmcopyright}
......@@ -18,7 +24,6 @@
%\setcopyright{cagov}
%\setcopyright{cagovmixed}
% DOI
\acmDOI{10.475/123_4}
......@@ -34,9 +39,9 @@
\acmPrice{15.00}
\include{macros}
\begin{document}
\graphicspath{{images/}}
\include{macros}
\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment