Concepedia

Eerke Boiten

EB

Statistics

Publications

24

Citations

641

H-Index

15

Active since

1992

Affiliations

University of Kent(Current)

De Montfort University

University of Sheffield

Eerke Boiten is an author at University of Kent specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSoftware DesignSoftware AnalysisFormal SpecificationProgram Analysis

Publications per year

1992–2020

24

Publications

24

1–5 of 24