颁布单位：[University of Wisconsin] |  颁布时间：2006 |  实施时间：2006 |  学科分类：[Computer, software, --, Reusability]

预览  |  原文链接    [浏览：17 下载：10]

颁布单位：[Stellenbosch University] |  颁布时间：2006 |  实施时间：2006 |  学科分类：[["Theses, --, Mathematics",, "Dissertations, --, Mathematics",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Computer, software, --, Verification.",, "Computer, programs, --, Validation."]]

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