颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Operating, systems, (Computers)",, "Computer, software, --, Development",, "Software, engineering",, "Microkernel",, "Model, checking",, "Protocols",, "Dissertations, --, Computer, science"]]

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

颁布单位：[University:University of Birmingha... |  颁布时间：1999 |  实施时间：1999 |  学科分类：[Science, QA, Mathematics, QA76, Computer, software]

预览  |  原文链接    [浏览：15 下载：5]

颁布单位：[Rice University] |  颁布时间：1997 |  实施时间：1997 |  学科分类：[Computer, software, Quality, control, Debugging, Computer, science]

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

颁布单位：[Stellenbosch University] |  颁布时间：1993 |  实施时间：1993 |  学科分类：[["Mathematical, logic",, "Calculus, --, Computer, programs",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Computer, software, --, Development"]]

预览  |  原文链接    [浏览：9 下载：3]