@dblp

A Method for Verifying Real-Time Properties of Ada Programs.

, and . ICECCS, page 35-. IEEE Computer Society, (2001)

Links and resources

Tags