Skander Kort

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Skander Kort
Schemata-Driven Multi-objective Optimization. EMO (2003)
Skander Kort, Sofiène Tahar, Paul Curzon
Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)