Login / Signup

Reasoning About Method Calls in Interface Specifications.

Ádám DarvasPeter Müller
Published in: J. Object Technol. (2006)
Keyphrases