28620 articles – 22133 Notices  [english version]
.:. Consultation > Par auteur > Abdessamad .:.
1 document
restricted file access Development of Transformation Functions Assisted by a Theorem Prover
Abdessamad I., Molli P., Oster G., Rusinowitch M.
Dans Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002 (2002) 8 p [inria-00107574 - version 1]