Concepedia

A. Bijlsma

AB

Statistics

Publications

3

Citations

49

H-Index

3

Active since

1989

Affiliations

Eindhoven University of Technology(Current)

A. Bijlsma is an author at Eindhoven University of Technology specializing in computer science, engineering, and verification.

ORCID

Top concepts

Publications per year

1989–2006

3

Publications

3

Calculating with pointers

A. Bijlsma · Science of Computer Programming · 1989 · 21 citations · Full text

, , +3

A sharp proof rule for procedures in wp semantics

A. Bijlsma, Philip Matthews, J. G. Wiltink · Acta Informatica · 1989 · 16 citations

, , +9

A reference framework for software product management

Inge van de Weerd, Sjaak Brinkkemper, R. Nieuwenhuis et al. · 2006 · 12 citations

Rows per page

1–3 of 3