Visual Abstractions for Temporal Verification.

Zohar MannaAnca BrowneHenny SipmaTomás E. Uribe
Published in: AMAST (1998)
Keyphrases