Paul Franchi-Zannettacci profile picture

Paul Franchi-Zannettacci

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Caap'86
CAAP'86 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
Mathematical Methods of Specification and Synthesis of Software Systems '85 Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985