Kristin Yvonne Rozier

Books that list Kristin Yvonne Rozier among their authors but not as the lead author: co-written works, collections and compilations.

NASA Formal MethodsJulia M. Badger

NASA Formal Methods

Julia M. Badger · 2014

Formal MethodsAndré Platzer

Formal Methods

André Platzer · 2024