Kuksenko: On the Practical Static Checker of Semantic Runtime Errors (1999)

by V Shelekhov, S
Venue:In Proc. of the 6th Asia Paci Software Engineering Conference APSEC'99