Certification_Monads

swMATH32235MaRDI QIDQ43946FDOQ43946

Author name not available (Why is that?)

Cited In (2)

• A framework for developing stand-alone certifiers
• Strong eventual consistency of the collaborative editing framework WOOT

This page was built for software: Certification_Monads