Normal view
MARC view
Formal methods (Computer science)(Topical Term)
Machine generated authority record.
Work cat.: (OSt)250: Samek, Miro. 682, Practical UML statecharts in C/C++ :, c2009.