GitHub - levilucio/DSLTrans-verif-theory: paper on the theory behind the verification technique for DSLTrans

levilucio / DSLTrans-verif-theory Public

paper on the theory behind the verification technique for DSLTrans

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
discussions_at_McGill		discussions_at_McGill
figures		figures
papers_soa		papers_soa
presentations		presentations
review		review
text		text
.gitignore		.gitignore
IEEEtran.bst		IEEEtran.bst
IEEEtran.cls		IEEEtran.cls
aliascnt.sty		aliascnt.sty
bibliography.bib		bibliography.bib
commentSupport.tex		commentSupport.tex
extraplaceins.sty		extraplaceins.sty
llncs.cls		llncs.cls
llncsdoc.sty		llncsdoc.sty
main.pdf		main.pdf
main.tex		main.tex
nzproof.sty		nzproof.sty
rebuttal.txt		rebuttal.txt
remreset.sty		remreset.sty
spbasic.bst		spbasic.bst
splncs.bst		splncs.bst
splncs03.bst		splncs03.bst
splncs_srt.bst		splncs_srt.bst
spmpsci.bst		spmpsci.bst
spphys.bst		spphys.bst
sprmindx.sty		sprmindx.sty
svglobal.clo		svglobal.clo
svglov3.clo		svglov3.clo
svjour.cls		svjour.cls
svjour3.cls		svjour3.cls