[PhD Thesis] The Formalisation of Software Development Using MASCOT

  1. Lookup NU author(s)
  2. Dr Stephen Paynter
Author(s)Paynter SE
Publication type Report
Series Title
Full text is not currently available for this publication.
InstitutionMathematics Department, University of Southampton
Place PublishedSouthampton, UK
NotesBritish Lending Library DSC stock location number: DX178950
ActionsLink to this publication