Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
['Christoph Gladisch', 'Shmuel S. Tyszberowicz']
Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking