Statically checking API protocol conformance with mined multi-object specifications
companion report
Open access
Date
2012Type
- Report
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-007314184Publication status
publishedJournal / series
Technical reportVolume
Publisher
ETH, Department of Computer ScienceSubject
PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); SPECIAL PROGRAMMING METHODS; SPEZIELLE PROGRAMMIERMETHODEN; PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics