Normal view
MARC view
- Formal methods(Computer science).
Formal methods(Computer science). (Topical Term)
Machine generated authority record.
Work cat.: (OSt)80927: Raj Kamal 40950, Embeded systems:, 2015.