source: Papers/jar-cerco-2017/development.tex @ 3613

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

Cut paper into sections, continued introduction rewrite

File size: 62 bytes
Line 
1\section{Formal development}
2\label{sect.formal.development}
3
Note: See TracBrowser for help on using the repository browser.