Login / Signup

Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis.

Hee Beng Kuan TanNi Lar Thein
Published in: WCRE (2002)
Keyphrases