Automated Reasoning in the Simulation of Evolvable Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Browse the full CADE paper archive.