On safety properties and their monitoring (2007)

by Grigore Roşu