Paynter, Stephen Edward (1993) The formalisation of software development using MASCOT. University of Southampton, Mathematics, Doctoral Thesis, 169pp.
Record type:
Thesis
(Doctoral)
More information
Published date: September 1993
Organisations:
University of Southampton, Mathematical Sciences
Identifiers
Local EPrints ID: 402122
URI: http://eprints.soton.ac.uk/id/eprint/402122
PURE UUID: a6c9cbeb-3073-4f49-a8b3-3da0e24ce9d9
Catalogue record
Date deposited: 28 Oct 2016 08:44
Last modified: 15 Mar 2024 03:07
Export record
Contributors
Author:
Stephen Edward Paynter
Thesis advisor:
Bernard Carre
Thesis advisor:
Raymon D'inverno
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.