KBPs

swMATH28577MaRDI QIDQ40291FDOQ40291

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/KBPs.html

Cited In (2)

• MCK
• Verified synthesis of knowledge-based programs in finite synchronous environments

This page was built for software: KBPs