Mining State-Based Models from Proof Corpora

From MaRDI portal
Publication:5495930