Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Cli B. Jones | Researchclopedia

Back to researchers

Cli B. Jones

3

Works

1,733

Citations

2

h-index

1

i10-index

Research Topics

Advanced Software Engineering Methodologies Software Reliability and Analysis Research Formal Methods in Verification

Top Works

Systematic software development using VDM

19861,725 citations

Software Engineering Research

Software Testing and Debugging Techniques

Proceedings of the 11th International Workshop on Automated Verification of Critical Systems

Jens Bendisposto,Cli B. Jones,et al.

20116 citations

Scientic Decisions which Characterize VDM

19992 citations