Positions available

MSC positions available in 1999 in the Pampa research team. These positions are opened to students of "software engineering and formal methods" track of the DEA (MSC) of computer science of the University of Rennes 1