xiaobanke
这家伙很懒，什么也没写
Ta上传的资源 (0)
Reconciling Exhaustive Pattern Matching with Objects
apaper"ReconcilingExhaustivePatternMatchingwithObjects"acceptedinpldi2013
A Case Study in Modular Specification
agoodpaper"ACaseStudyinModularSpecificationofaConcurrentReentrantHigher-orderLibrary"acceptedinecoop2013
DataMiningforSoftwareEngineering
apaper"DataMiningforSoftwareEngineering"acceptedinIEEEComputer2009