Ivor

swMATH6343MaRDI QIDQ18471FDOQ18471

Author name not available (Why is that?)

Described by source

• Ivor, a Proof Engine

Cited In (2)

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

This page was built for software: Ivor