Normal view
MARC view
- Formal methods (Computer science)
Formal methods (Computer science) (Topical Term)
Machine generated authority record.
Work cat.: (NUST)198640: Monin, Jean Fran�cois, 94916, Understanding formal methods /, c2003.