Friedrich-Alexander-Universitat Erlangen-Nurenberg

Related content

• Activities

• Leapfrog: Certified Equivalence for Protocol Parsers

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic