Real-Time Euclid: A Language for Reliable Real-Time Systems (0)

by E Klingerman, A D Stoyenko