Vladimir Levin 人物
Vladimir Levin · 相关论文
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
2004Lecture notes in computer science引用 283
A decade of software model checking with SLAM
2011Communications of the ACM引用 219