„Automata-based strong analysis“

Suchergebnisse

1 Treffer

• String Analysis for Software Verification and Security
  Bultan, Tevfik ; Alkhalaf, Muath ; Yu, Fang ; Aydin, Abdulbaki 2017 Springer International Publishing