Template details
(c) 2002 Matthew Boedicker (original author) http://mboedick.org
(c) 2003-2007 David J. Grant http://www.davidgrant.ca
(c) 2008 Nathaniel Johnston http://www.nathanieljohnston.com
(l) 2012 Arun I B http://www.ee.iitm.ac.in/~ee10s026/
This work is licensed under the Creative Commons Attribution-Noncommercial-Share Alike 2.5 License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/2.5/ or send a letter to Creative Commons, 543 Howard Street, 5th Floor, San Francisco, California, 94105, USA.
LaTeX template for C240 Models of Computation assessed coursework
Contains macros for typesetting operational semantic rules and proof trees and other notation used in the first half of the course.
Department of Computing, Imperial College London
Please note that this is not an official document. It is advisable to consult with your advisor and ensure that it meets your specific requirements. Nonetheless, I am sharing it in the hope that it might be of assistance to someone.
This is a primary version (NON Official) template for the PFE (Projet de Fin d'Etudes) report that follows the guidelines and requirements of the university (I haven't contacted the school though, probably needs further treatments and modification). The template is based on LaTeX, a document preparation system that allows for high-quality typesetting and formatting. The template includes the main chapters found in a report, note that every chapter is included in a directory for organizational reasons. The template is designed to help students write their PFE report in a clear, concise and professional manner.