颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Computer, programs, --, Verification",, "Programming, languages, (Electronic, computers)",, "Model, checking",, "Dissertations, --, Computer, science"]]

预览  |  原文链接    [浏览：7 下载：1]

颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Computer, algorithms",, "Programming, languages, (Electronic, computers)",, "ESML, modelling, language",, "Dissertations, --, Computer, science"]]

预览  |  原文链接    [浏览：0 下载：1]