Parameterized specification and verification of the Chilean electronic invoices system.
| Autor: | Attali, I., Barros, T., Madelaine, E. |
|---|---|
| Zdroj: | XXIV International Conference of the Chilean Computer Science Society; 2004, p14-25, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|