Login / Signup

Parallel program verification with directed graphs.

Tadao Takaoka
Published in: SAC (1994)
Keyphrases