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, March 2004.

Contact

Didier Bert

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)