Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich
{"title":"The COST IC0701 Verification Competition 2011","authors":"Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich","doi":"10.1007/978-3-642-31762-0_2","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Verification of Object-Oriented Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/978-3-642-31762-0_2","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
