Sciweavers

10568 search results - page 117 / 2114
» Computer Intelligence and Formalization
Sort
View
SAC
2009
ACM
15 years 4 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
DSN
2009
IEEE
15 years 4 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer