Supplementing java bytecode with speci cations (2008)

by J Fulara, K Jakubczyk, A Schubert
Venue:Software Engineering Techniques in Progress