Alessandro Fantechi profile picture

Alessandro Fantechi

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

Stand Alone

From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Software Engineering for Resilient Systems
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy