Pragmatic application of formal methods to safety critcal systems
By: Norman Derek Pratt.
Contributors: University of Surrey. Department of Mathematical and Computing Sciences.
Published: 1996
Language: eng
Notes: BL DXN006385.

Thesis(Ph.D.) - University of Surrey, 1996.