Parameterized Specification and Verification of the Chilean Electronic Invoices System.

Isabelle Attali Tomás Barros Eric Madelaine Parameterized Specification and Verification of the Chilean Electronic Invoices System. 14-25 2004 conf/sccc/2004 SCCC http://doi.ieeecomputersociety.org/10.1109/QEST.2004.16 db/conf/sccc/sccc2004.html#AttaliBM04