refinement calculus for real-time systems
By: David Jason Scholefield.
Publisher: University of York, Depatment of Computer Science
Published: 1992
Place of publication: York
Language: eng
Notes: Thesis (doctoral)- University of York, 1992.