author : Jean-Luc Marty

Short works

• Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.. 1999. (In FM'99 volume 1 )