Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
GRC
/
Paper
Formal specification and automated verification of UML2.0 sequence diagrams.
Tu Peng
,
Gangyi Ding
Venue
National
GRC
Year
2012
Proceedings
GrC
DBLP record
conf/grc/PengD12 ↗
Browse the full
GRC paper archive
.