Vers l'utilisation des mthodes formelles pour le dveloppement de linguiciels.

Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou

Browse the full ACL paper archive.