Commit 40b246c3 authored by ehilin02's avatar ehilin02
Browse files

minor changes in related works

parent 10c48fc2
......@@ -16,13 +16,13 @@
\title{Deciding Separation Logic With Heap Lists}
%%
\author{%
Double Blind
%Double Blind
%Wanyun Su\inst{2} \and
%Zhilin Wu\inst{2}\orcidID{0000-0003-0899-628X} \and
%Mihaela Sighireanu\inst{1}\orcidID{0000-0002-1925-089X}
}
\institute{%
Double Blind
%Double Blind
% State Key Laboratory of Computer Science, \\
% Institute of Software, Chinese Academy of Sciences, China \\
% %\email{wuzl@ios.ac.cn}
......@@ -44,7 +44,7 @@ Double Blind
\sloppy
%------------------------------------------------------------------------------
%\vspace{-4mm}
\vspace{-8mm}
\input{abs.tex}
%------------------------------------------------------------------------------
......
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