Accès aux Contact | Référence BibTex | Référence EndNote |

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, Novembre 2005.

Contact

Ioannis Parissis

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)


Cette page a été générée automatiquement par bib2html.