Søkte etter:

1 treff
Verifying concurrent processes using temporal logic
Brent T. Hailpern
Bok Språk ikke angitt 1982