Concepedia

Author

N-Y Suzuki

King's College London

Also Known As

N-Y Suzuki

1

Publications

52

Citations

1

H-Index

4

Concepts

All Affiliations

King's College London
NS

About

N-Y Suzuki is an author at King's College London specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

52

2

Computer Science

1

1

52

3

Automated Reasoning

1

1

52

4

Formal Methods

1

1

52

N-Y Suzuki

×

1

Publications

52

Citations

1

H-Index

YearCitations

Page 1