Christophe Ringeissen's Profile

Publications tagged algebraic specification