Integrated Program Proof and Timing Analysis of SPARK Ada
R. Chapman, A. Burns and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Chapman1994a,
abstract = {},
author = {R. Chapman and A. Burns and A.J. Wellings},
booktitle = {Proceedings of the ACM workshop on language, compiler and tool support for real-time systems, Walt Disney World, Florida, USA},
title = {Integrated Program Proof and Timing Analysis of SPARK Ada},
year = {1994}
}