Monolithic Eyes

swMATH590MaRDI QIDQ13345FDOQ13345

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.1577

Cited In (3)

• A library of eyes in Go. I: A life-and-death definition consistent with bent-4
• A library of eyes in Go. II: Monolithic eyes
• An Improved Safety Solver in Go Using Partial Regions

This page was built for software: Monolithic Eyes