Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SMC
/
Paper
From Healthcare System Specifications to Formal Models.
Daniel Clavel
,
Cristian Mahulea
,
Manuel Silva
Venue
B
SMC
Year
2019
Proceedings
SMC
DBLP record
conf/smc/ClavelM019 ↗
Browse the full
SMC paper archive
.