Skip to content

Modelling Microsoft COM Using pi-Calculus.

Loe M. G. Feijs

VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods

Browse the full FM paper archive.