Concepedia

Cees-Bart Breunesse

CB

1

Publications

50

Citations

1

H-Index

2004

Active since

Affiliations

Radboud University Nijmegen(Current)

Cees-Bart Breunesse is an author at Radboud University Nijmegen specializing in formal verification, formal methods, and mobile computing.

Top concepts

Publications per year

2004–2004

1

Publications

1

Formal methods for smart cards: an experience report

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman et al. · Science of Computer Programming · 2004 · 50 citations

, , +8

Rows per page

1–1 of 1