Derivation of Formal Representations from Process-Based Specification and Implementation Models

Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin. Derivation of Formal Representations from Process-Based Specification and Implementation Models. In ISSS. pages 16, 1997. [doi]

Authors

Steven Vercauteren

This author has not been identified. Look up 'Steven Vercauteren' in Google

Diederik Verkest

This author has not been identified. Look up 'Diederik Verkest' in Google

Gjalt G. de Jong

This author has not been identified. Look up 'Gjalt G. de Jong' in Google

Bill Lin

This author has not been identified. Look up 'Bill Lin' in Google