Software Reliability Methods 论文

2001Texts in computer science引用 249
Software Reliability and Analysis ResearchSoftware Engineering ResearchFormal Methods in Verification