steveej/msc-thesis
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions

thesis: topic refinement #34

Merged
steveej merged 7 commits from define-scope into static-code-analysis-kernel-task-memory-safety 2017-04-06 15:10:35 +00:00
Conversation 6 Commits 7 Files changed 5 +2 -2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 1562979822 - Show all commits

4
src/docs/thesis.tex
View file

@ -12,7 +12,7 @@
\usepackage{ctable,multirow}
\usepackage{cite}
\bibliographystyle{plain}
\bibliographystyle{ieeetr}
\usepackage[hyphens]{url}
\Urlmuskip = 0mu plus 1mu
@ -20,7 +20,7 @@
\usepackage[numberedsection,toc,numberline,nopostdot]{glossaries}
\makenoidxglossaries
\newcommand{\topic}{Ensuring Memory-Safety within Address Spaces Using Rust's Static Code Analysis}
\newcommand{\topic}{Guaranteeing In-Kernel Memory-Safety Using Rust's Static Code Analysis}
\newcommand{\authorOne}{Stefan Junker}
\newcommand{\authorOneInit}{SJ}