A. van Wijngaarcien

AV

2

Publications

279

Citations

2

H-Index

1975

Active since

Affiliations

A. van Wijngaarcien is an author at Delft University of Technology specializing in algorithm design, formal methods, and automated reasoning.

Publications per year

1975–1977

2

Publications

2