Foreword of the Thematic Track: ICT Verification and Validation.

Eda Marchetti

Browse the full QUATIC paper archive.