Author: Nicola Zani

Nicola Zani

Nicola Zani

Publications

Publication period start: 1992
Publication period end: 1994
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Fabio Paterno
1
Angelo Fornari
1
Giorgio P. Faconti
2

Productive Colleagues

Most productive colleagues in number of publications
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. http://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.