A Verification Assistant for a Real Time Logic (1994)

by J U Skakkebaek