Software Foundations Vol 2: Programming Language Foundations Software engineering

Software Foundations Vol 1: Logical Foundations Software engineering

Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq Property based testing Coq Software engineering