A Formal Specification of Java Class Loading (2000)

by Zhenyu Qian , Allen Goldberg , Alessandro Coglio , Ro Coglio
Citations:31 - 2 self