Participants: Bailly, Francis [ ]; Bonnay, Denis [ TeilnehmendeR ]; Dehornoy, Patrick [ TeilnehmendeR ]; Dowek, Gilles [ TeilnehmendeR ]; Girard, Jean-Yves [ TeilnehmendeR ]; ...
Published: 2014

Participants: Bailly, Francis. [ ]; ProQuest (Firm) [ ]; Longo, G. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2011.
Superior document: Advances in computer science and engineering: Texts ; v. 7