A Proof System for Real-Time Programs
D.J. Scholefield
No Abstract Available
Download Not Available
BibTex Entry
@techreport{Scholefield1993b,
abstract = {},
author = {D.J. Scholefield},
institution = {Department of Computer Science, University of York},
number = {YCS-210},
title = {A Proof System for Real-Time Programs},
year = {1993}
}