Concepedia

Author

Nicolaas Weideman

Stellenbosch UniversityORCID

Also Known As

Nicolaas Weideman, Weideman, Nicolaas

13

Publications

77

Citations

3

H-Index

6

Concepts

All Affiliations

Stellenbosch University
NW

About

Nicolaas Weideman is an author at Stellenbosch University specializing in engineering, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

19

2

Computer Science

1

1

19

3

Computational Complexity

1

1

19

4

Formal Methods

1

1

19

5

Formal Verification

1

1

19

Nicolaas Weideman

×

1

Publications

19

Citations

1

H-Index

YearCitations

Page 1