Mamadou Kaba Traoré currently chairs the distributed software engineering Master degree at Blaise Pascal University in France. His research is on formal specification, symbolic manipulation and cod...lihat lebih banyakMamadou Kaba Traoré currently chairs the distributed software engineering Master degree at Blaise Pascal University in France. His research is on formal specification, symbolic manipulation and code synthesis of simulation models..lihat lebih sedikit