Login / Signup

Structural test coverage criteria for lustre programs.

Abdesselam LakehalIoannis Parissis
Published in: FMICS (2005)
Keyphrases