STVR:Parissis08

Abdesselam Lakehal, Ioannis Parissis. Structural coverage criteria for LUSTRE/SCADE programs. Software Testing, Verification and Reliablity, 2008.

Contact

Ioannis Parissis

BibTex Reference

@article{STVR:Parissis08,
   Author = {Lakehal, Abdesselam and Parissis, Ioannis},
   Title = {{Structural coverage criteria for LUSTRE/SCADE programs}},
   Journal = {Software Testing, Verification and Reliablity},
   Publisher = {Wiley Interscience},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)