Yannick Delbecque
Site personnel

Logical Methods in Computer Science

Journal libre sur les méthodes logiques en informatiques