Activitiy
-
2015-08-25 TUE 14:17 BST
Extended version (before FLOPS 15p limit) pdf is snapshot here:
https://www.dropbox.com/s/ss0qayum02o8o3e/beforeTrimFLOPS15.pdf?dl=0
Because of the trimmed down. Get rid of STLC and start from HM right away.
Tagged as beforeTrimFLOPS15 in master, Also making a branch for possible journal version.
Source files
-
main.tex
main LaTeX file including files below
-
intro.tex
first introduction section separted out
-
relwrok.tex
related work section separted out