source: Papers/jar-cerco-2017/framac.tex @ 3637

Last change on this file since 3637 was 3615, checked in by boender, 3 years ago

Moved paper structure comments to their relevant sections

File size: 160 bytes
Line 
1% FramaC plugin
2%   Purpose
3%   Description of architecture
4%   Case study/worked example (crypto example?)
5
6\section{FramaC plugin}
7\label{sect.framac.plugin}
Note: See TracBrowser for help on using the repository browser.