The Checking of Computer Logic by Simulation on a Computer

From MaRDI portal
Publication:5727021