Languages
Legunsen, Owolabi.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
International SPIN Workshop (2022 :); Legunsen, Owolabi.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)