Author: Nicola Zani
Publication Overview
Publication period start: 1992
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.,
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.