Stepwise refinement of distributed systems : models, formalisms correctness : proceedings

Bok av J W De Bakker