cs-conference-ranking.org Search 971 venues

Tactical Tools for Distributing VDM Specifications.

VenueBFM

Year1991

ProceedingsVDM Europe (1)

DBLP recordconf/fm/Cattel91 ↗

Browse the full FM paper archive.