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

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

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - CSeq: A concurrency pre-processor for sequential C verification tools

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - CSeq: A concurrency pre-processor for sequential C verification tools

Fischer, Bernd; Inverso, Omar; Parlato, Gennaro

作者Fischer, Bernd; Inverso, Omar; Parlato, Gennaro
文件大小184.48KB
发表时间2013
DOI10.1109/ase.2013.6693139
页码710-713

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