Automata, Languages and ProgrammingSamson Abramsky,Claude Kirchner,Cyril Gavoille · First published 2011Open the Tome
Formal to Practical SecurityMitsuhiro Okada,Claude Kirchner,V. Ronique Cortier · First published 2009Open the Tome
Formal to Practical SecurityVéronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada · First published 2009Open the Tome
Rewriting, Computation and ProofHubert Comon-Lundh, Claude Kirchner, Hélène Kirchner · First published 2007Open the Tome
