← Catalog

Contracts for Concurrency

Authors: Nienaltowski, P.; Meyer, B.; Ostroff, J. S.
Published: 2009
Software Design Has Notes