1 résultat  enregistrer la recherche


...
tel-00516709v1  Thèse
Hehua ZhangDomain-specific modeling and verification language EDOLA
Software Engineering [cs.SE]. Tsinghua university, 2009. Chinese