Applying VDM to large developments

Research output: Contribution to journalArticle

Original languageFrench
Pages (from-to)55-58
Number of pages4
JournalACM Sigsoft Software Engineering Notes (SEN)
Volume15
Issue number4
Publication statusPublished - 1990

Cite this

@article{0dceac749d124d7886479ccbc150fc0a,
title = "Applying VDM to large developments",
author = "Yves Ledru and Pierre-Yves Schobbens",
year = "1990",
language = "Fran{\cc}ais",
volume = "15",
pages = "55--58",
journal = "ACM SIGSOFT Software Engineering Notes",
issn = "0163-5948",
number = "4",

}

Applying VDM to large developments. / Ledru, Yves; Schobbens, Pierre-Yves.

In: ACM Sigsoft Software Engineering Notes (SEN), Vol. 15, No. 4, 1990, p. 55-58.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Applying VDM to large developments

AU - Ledru, Yves

AU - Schobbens, Pierre-Yves

PY - 1990

Y1 - 1990

M3 - Article

VL - 15

SP - 55

EP - 58

JO - ACM SIGSOFT Software Engineering Notes

JF - ACM SIGSOFT Software Engineering Notes

SN - 0163-5948

IS - 4

ER -