Isabelle Attali, Tomás Barros, Eric Madelaine. Formalisation and Proofs of the Chilean Electronic Invoices System.
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), INRIA, Oct 2004, Arica, Chili.
⟨inria-00087210⟩