Sciweavers

10568 search results - page 117 / 2114
» Computer Intelligence and Formalization
Sort
View
71
Voted
SAC
2009
ACM
15 years 9 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
94
Voted
DSN
2009
IEEE
15 years 9 months ago
Exploiting refactoring in formal verification
Xiang Yin, John C. Knight, Westley Weimer
78
Voted
PDCAT
2009
Springer
15 years 9 months ago
A Formal Characterization of Uniform Peer Sampling Based on View Shuffling
Yann Busnel, Roberto Beraldi, Roberto Baldoni