Skip to content
cs-conference-ranking.org

Formal Verification of UML 2.0 Sequence Diagram.

Sachoun Park, Taeman Han, Gihwon Kwon

VenueCSEKE
Year2010
ProceedingsSEKE
DBLP recordconf/seke/ParkHK10 ↗

Browse the full SEKE paper archive.