FA-year-1 is a project mainly written in ..., it's free.
Coursework for Formal Aspects of Computer Science, year 1, Durham University, UK
Formal Aspects of Computer Science year 1; Durham University 2010–11
Copyright © 2010 Jan Minář <[email protected]>
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License version 2 (two),
as published by the Free Software Foundation.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.This repository contains course work for year 1 of the Formal Aspects of Computer Science course offered in the academic year 2010–11 at the Durham University, UK