A memetic algorithm for program verification
Aleb, N., Tamen, Z.
Published in 2011 UKSim 5th European Symposium on Computer Modeling and Simulation (01.11.2011)
Published in 2011 UKSim 5th European Symposium on Computer Modeling and Simulation (01.11.2011)
Get full text
Conference Proceeding