cs-conference-ranking.org Search 971 venues

On Formal Specification of a Proof Tool.

VenueBFM

Year1991

ProceedingsVDM Europe (1)

DBLP recordconf/fm/Arthan91 ↗

Browse the full FM paper archive.