Login / Signup
A preliminary evaluation of verifiability in Ada.
Anand R. Tripathi
William D. Young
Donald I. Good
Published in:
ACM Annual Conference (1980)
Keyphrases
</>
data mining
peer to peer
image quality
end to end