Nicola Zani

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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.

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