A Formal Specification of Java Class Loading (2000)

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