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

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

[IEEE 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Khon Kaen, Thailand (2016.7.13-2016.7.15)] 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Formal verification of concurrency in go

[IEEE 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Khon Kaen, Thailand (2016.7.13-2016.7.15)] 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Formal verification of concurrency in go

Prasertsang, Anuchit; Pradubsuwun, Denduang

作者Prasertsang, Anuchit; Pradubsuwun, Denduang
文件大小283.59KB
发表时间2016
DOI10.1109/jcsse.2016.7748882
页码1-4

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