COM-04:vasco-73

D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.

Contact

Didier Bert

Référence BibTex

@Misc{COM-04:vasco-73,
   Author = {Bert, D.},
   Title = {{Translating CASL Specifications into First Order Logic with Set Theory}},
   BookTitle = {{17ème Workshop on Algebraic Development Techniques, WADT'04}},
   Address = {Barcelone},
   Month = {March},
   Year = {2004}
}

Référence EndNote [help]

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