×
Accedi
Iniziamo
Travel
Technology
Sports
Marketing
Education
Career
Social Media
+ Esplora tutte le categorie
Report -
Verification of object-oriented programs with invariants by M. Barnett, R. DeLine, M. Fähndrich, K.R.M. Leino, W. Schulte Bordignon Claudio Zampieron Elisa.
Select
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Please pass captcha verification before submit form