Concepedia

M. Y. Bearman

MY

Statistics

Publications

1

Citations

32

H-Index

1

Active since

1985

M. Y. Bearman is an author specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware Verification

Publications per year

1985–1985

1

Publications

1

Automated protocol verification

Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman · 1985 · 32 citations

Engineering, Program Analysis, Verification +8

1–1 of 1