Publications

Automata Models for Effective Bug Pattern Description

• • Tom Yaacov
  • Gera Weiss
  • et al.
• 2025
• MODELS 2025