4 works on record
Logic-Based Program Synthesis and Transformation
Automated specification and verification of web systems
Static Analysis
Formal Methods for Industrial Critical Systems