Search

Bibtex

A. J. Summers, Sophia Drossopoulou, Peter Müller, Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods

Back