author : Alessandro Cimatti

Short works

• Formal Specification and Validation of a Vital Communication Protocol. 1999. (In FM'99 volume 2 )