Ivor

swMATH6343MaRDI QIDQ18471

No author found.

Described by source

• Ivor, a Proof Engine

Related Items (2)

Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

This page was built for software: Ivor