Skip to content

Specifying Open Distributed Systems with Z.

Reinhard Gotzhein

VenueBFM
Year1990
ProceedingsVDM Europe

Browse the full FM paper archive.