CIC-05:vasco-38

A. Lakehal, I. Parissis. Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, November 2005.

Contact

Ioannis Parissis

BibTex Reference

@InProceedings{CIC-05:vasco-38,
   Author = {Lakehal, A. and Parissis, I.},
   Title = {{Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs}},
   BookTitle = {{16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)}},
   Address = {Chicago, USA},
   Month = {November},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)