[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Combining Logic and Algebraic Techniques for Program Verification in Theorema
Kovács, Laura; Popov, Nikolaj; Jebelean, Tudor
- 作者Kovács, Laura; Popov, Nikolaj; Jebelean, Tudor
- 文件大小430.59KB
- 发表时间2006
- DOI10.1109/isola.2006.46
- 页码67-74