Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

Journals Menu

Follow SCIRP

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

"Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes"
written by Ednah Olubunmi Aliyu,
published by Journal of Software Engineering and Applications, Vol.16 No.6, 2023

has been cited by the following article(s):

No relevant information.

Follow SCIRP

Free SCIRP Newsletters

Add your e-mail address to receive free newsletters from SCIRP.

Top