Microsoft Word - D20-1.0.c.doc - D20 - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group		Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 454,01 KB Share Document on Facebook