Formal Specification of Evolutionary Software Agents.

Hong Zhu

Browse the full ICFEM paper archive.