3 works on record
Perspectives of System Informatics
FM 2015 : Formal Methods
Automated Deduction -- CADE-23