Performance Evaluation of Software Using Formal Methods

Akinsola, Jide E. T.; Kuyoro, Afolashade O.; Adeagbo, Moruf A.; Awoseyi, Ayomikun A.

PublishedJournal article· Global Journal of Computer Science and Technology· 2020

Performance Evaluation of Software Using Formal Methods

Akinsola, Jide E. T.
Kuyoro, Afolashade O.
Adeagbo, Moruf A.
Awoseyi, Ayomikun A.

Share

Keywords and topics

Software engineering

Cite this

Akinsola, J. E. T., Kuyoro, A. O., Adeagbo, M. A., & Awoseyi, A. A. (2020). Performance Evaluation of Software Using Formal Methods. Global Journal of Computer Science and Technology, 20(1).

BibTeX

@article{Akinsola2020Performance,
	author = {Akinsola, Jide E. T. and Kuyoro, Afolashade O. and Adeagbo, Moruf A. and Awoseyi, Ayomikun A.},
	journal = {Global Journal of Computer Science and Technology},
	number = {1},
	year = {2020},
	title = {Performance {Evaluation} of {Software} {Using} {Formal} {Methods}},
	volume = {20},
}