Languages
Jump To : Overview | Titles | Subjects

Caltais, Georgiana.

Overview
Works: 3 works in 1 publications in 1 languages
Titles
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: International SPIN Workshop (2023 :); Caltais, Georgiana.; Schilling, Christian.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login