Publications

• Dealing with Incompleteness in Automata-Based Model Checking
  Claudio Menghi, Paola Spoletini, and Carlo Ghezzi
  FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus
• Verifying incomplete and evolving specifications
  Claudio Menghi
  Companion Proceedings of the 36th International Conference on Software Engineering