Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
FM
/
Paper
Two Approaches towards the Formalisation of VDM.
Christine Lafontaine
,
Yves Ledru
,
Pierre-Yves Schobbens
Venue
B
FM
Year
1990
Proceedings
VDM Europe
DBLP record
conf/fm/LafontaineLS90 ↗
Browse the full
FM paper archive
.