System Validation via Constraint Modeling 00 . OI by ELECTE

@inproceedings{RichiardSystemVV,
  title={System Validation via Constraint Modeling 00 . OI by ELECTE},
  author={Richiard and Waters}
}