SEET

swMATH44301MaRDI QIDQ5974339FDOQ5974339

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/abs/pii/S0164121220301308

Cited In (2)

• Monadic second-order incorrectness logic for GP 2
• Incorrectness logic for graph programs

This page was built for software: SEET