04-related-work.tex « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/04-related-work.tex

blob: 1f01b8ef6b63f3c82f88ffa9b42808e3ac019254 (plain) (blame)

\chapter{Related Work}
\label{ch:related-work}

% This chapter discusses related literature and positions this work within the field.