Towards Modularly Comparing Programs Using Automated Theorem Provers

From MaRDI portal
Publication:4928447