INV-04:vasco-97

F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, Mars 2004.

Contact

Farid Ouabdesselam

Référence BibTex

@InProceedings{INV-04:vasco-97,
   Author = {Ouabdesselam, F.},
   Title = {{Testing Synchronous Reactive Software Against Formal Properties}},
   BookTitle = {{16th IFIP International Conference, TestCom 2004}},
   Address = {Oxford, UK},
   Month = {March},
   Year = {2004}
}

Référence EndNote [help]

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