Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Mihaela SIGHIREANU
dp4sl4malloc
Commits
b3066f8e
Commit
b3066f8e
authored
Jun 18, 2021
by
Mihaela SIGHIREANU
Browse files
aplas: title
parent
6aed700c
Changes
1
Hide whitespace changes
Inline
Side-by-side
aplas21/aplas2021.tex
View file @
b3066f8e
...
...
@@ -13,7 +13,7 @@
%% Title
%\title{Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions}
%\title{Decision Procedures for Heap-lists}
\title
{
On Automated Verification of
Heap
-l
ists
}
\title
{
Deciding Separation Logic with
Heap
L
ists
}
%%
\author
{
%
Double Blind
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment