Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015)

被引：0

作者：

Cornelio, M. L. ^{[1
]}

Roscoe, A. W. ^{[2
]}

机构：

[1] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil

[2] Univ Oxford, Dept Comp Sci, Oxford, England

来源：

关键词：

D O I：

10.1016/j.scico.2019.07.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：82 / 83

页数：2