E. Madelaine

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1984

1 E. Madelaine: Un système d'aide à la preuve de compilateurs. Symposium on Programming 1984: 191-205