Rating: 0 out of 5 stars
0 ratings
Loading
MT![]()
author
Mamadou Kaba Traore
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...view moreMamadou 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..view less