Concepedia

Author

Matthew Gibson

Also Known As

Matthew Gibson

3

Publications

102

Citations

1

H-Index

8

Concepts

MG

About

Matthew Gibson is an author specializing in systems engineering, automated reasoning, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

102

2

Computer Science

1

1

102

3

Systems Engineering

1

1

102

4

Automated Reasoning

1

1

102

5

Formal Methods

1

1

102

Matthew Gibson

×

1

Publications

102

Citations

1

H-Index

YearCitations

Page 1