SEET

swMATH44301MaRDI QIDQ5974339FDOQ5974339

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: SEET