Schemata-Driven Multi-objective Optimization. - Skander Kort (EMO, 2003)

Hierarchical formal verification using a hybrid tool. - Skander Kort; Sofiène Tahar; Paul Curzon (Int. J. Softw. Tools Technol. Transf., 2003)