/subjects/Formal_methods_(Computer_science)
Type: /type/subject
name: Formal methods (Computer science)