Concepedia

Author

S Moody

Also Known As

S Moody, S. Moody, Simon J. Moody

4

Publications

46

Citations

2

H-Index

10

Concepts

All Affiliations

SM

About

S Moody is an author at Imperial College London specializing in formal verification, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

44

2

Computer Science

1

1

44

3

Integer Programming

1

1

44

4

Software Analysis

1

1

44

5

Automated Reasoning

1

1

44