颁布单位：[Rice University] |  颁布时间：2012 |  实施时间：2012 |  学科分类：[Applied, sciences, Object-oriented, programming, Computer, software, Nominal, OO, languages, Statically-typed, OO, languages, Applied, mathematics, Computer, science]

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

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

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

颁布单位：[Stellenbosch University] |  颁布时间：2004 |  实施时间：2004 |  学科分类：[["Computer, software, --, Verification",, "Embedded, computer, systems",, "Programming, languages, (Electronic, computers)",, "Dissertations, --, Computer, science"]]

预览  |  原文链接    [浏览：4 下载：2]