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