Skip to content

Specification with Class: A Brief History of Object-Z.

Graeme Smith, David J. Duke

VenueBFM
Year2019
ProceedingsFM Workshops (2)

Browse the full FM paper archive.