cs-conference-ranking.org Search 971 venues

Deriving Transivity of VDM-Reification in DEVA.

VenueBFM

Year1991

ProceedingsVDM Europe (1)

DBLP recordconf/fm/Weber91 ↗

Browse the full FM paper archive.