发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus

期刊名称Science of Computer Programming
作者Bendisposto, Jens; Leuschel, Michael; Roggenbach, Markus
卷第81卷
印刷ISSN0167-6423
文件大小453.42KB
发表时间2014-2
DOI10.1016/j.scico.2013.08.005
页码1-2

← 返回【学霸图书馆】主页