Treffer: Program transformation using temporal logic specifications
Title:
Program transformation using temporal logic specifications
Authors:
Publisher Information:
University of Oxford, 2003.
Publication Year:
2003
Collection:
University of Oxford
Subject Terms:
Document Type:
Dissertation
Electronic Thesis or Dissertation
Language:
English
Accession Number:
edsble.289278
Database:
British Library EThOS