A Guide to Specifying Concurrent Behaviour with Abacus (1990)

by Oscar Nierstrasz
Citations:10 - 5 self