Spanning the spectrum from safety to liveness

From MaRDI portal
Publication:1629750