3 works on record
Intelligent Computer Mathematics
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Techniques for Safety-Critical Systems