GitHub repository: tounsimed/DeadAnimal_FormalSpecification
Primary language: TeX
Created: 2018-12-18T20:48:25Z
Description: Dead animal Algorithm specified with Rodin plateform and Event-B langage.