Concepedia

Wouter Swierstra

WS

13

Publications

715

Citations

11

H-Index

2007

Active since

Affiliations

Utrecht University(Current)

University of Nottingham

Vector Fabrics (Netherlands)

Wouter Swierstra is an author at Utrecht University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSoftware DesignAutomated ReasoningCryptographyData Science

Publications per year

2007–2023

13

Publications

13

Rows per page

1–5 of 13