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

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

The case for formal methods in standards

The case for formal methods in standards

Blyth, D.; Boldyreff, C.; Ruggles, C.; Tetteh-Lartey, N.
  • 作者Blyth, D.; Boldyreff, C.; Ruggles, C.; Tetteh-Lartey, N.
  • 卷第7卷
  • 期第5期
  • 文件大小370.85KB
  • 发表时间1990
  • DOI10.1109/52.57893
  • 页码65-67
← 返回【学霸图书馆】主页