Concepedia

Marten Seemann

MS

1

Publications

21

Citations

1

H-Index

2020

Active since

Affiliations

Foundation for the Advancement of Social Theory(Current)

Marten Seemann is an author at Foundation for the Advancement of Social Theory specializing in automated reasoning, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsCloud ComputingSystem SoftwareTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2020–2020

1

Publications

1

Automating QUIC Interoperability Testing

Marten Seemann, Jana Iyengar · 2020 · 21 citations

Software Maintenance, Engineering, Language Interoperability +21

Rows per page

1–1 of 1