Functional Languages and Higher-Order Functions1 Leonidas Fegaras.
CI VERIFICATION METHODOLOGY & PRELIMINARY RESULTS [email protected].
CI Verification methodology & preliminary results