33841 articles – 26697 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.
In Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002 (2002) 8 p [inria-00107574 - version 1]