Skip to content
cs-conference-ranking.org

The RAISE Specification Langiage: A Tutorial.

Chris George

VenueBFM
Year1991
ProceedingsVDM Europe (2)
DBLP recordconf/fm/George91 ↗

Browse the full FM paper archive.