| Teaching Formal Methods to Future Engineers. | 0 | 0.34 | 2019 |
| Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. | 0 | 0.34 | 2017 |
| Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings | 11 | 0.79 | 2009 |
