DelahayeKS_SAC_2013

Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs. In 28th Annual ACM Symposium on Applied Computing (SAC 2013), Pages 1230-1235, March 2013.

Contact

Mickael Delahaye

BibTex Reference

@InProceedings{DelahayeKS_SAC_2013,
   Author = {Delahaye, Mickaël and Kosmatov, Nikolai and Signoles, Julien},
   Title = {{C}ommon {S}pecification {L}anguage for {S}tatic and {D}ynamic {A}nalysis of {C} {P}rograms},
   BookTitle = {28th {A}nnual {ACM} {S}ymposium on {A}pplied {C}omputing ({SAC} 2013)},
   Pages = {1230--1235},
   Publisher = {ACM},
   Month = {March},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)