Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

MLA

Legunsen, Owolabi, and Grigore Rosu. Model Checking Software : 28th International Symposium, Spin 2022, Virtual Event, May 21, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Legunsen, O., & Rosu, G. (2022). Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Legunsen, Owolabi., and Grigore Rosu. Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.