Normal view
MARC view
- Formal methods (Computer science) .
Formal methods (Computer science) . (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Languages, design methods, and tools for electronic system design., ©2015