Author: Nicola Zani

Publications

Co-authors

Angelo Fornari

1

Fabio Paterno

1

Giorgio P. Faconti

2

Productive Colleagues

Angelo Fornari

2

Giorgio P. Faconti

15

Fabio Paterno

126

Publications

Faconti, Giorgio P., Zani, Nicola, Paterno, Fabio (1992): The Input Model of Standard Graphics Systems Revisited by Formal Specification. In Comput. Graph. Forum, 11 (3) pp. 237-251. https://www.eg.org/EG/CGF/Volume11/Issue3/v12i3pp237-251_abstract.html

Faconti, Giorgio P., Fornari, Angelo, Zani, Nicola (1994): Visual Representation of Formal Specification: an Application to Hierarchical Logical Inpu. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 349-367.