Kan man visa om en maskinstyrning är säker?

Bok av Jan Jacobson