B-Method

https://www.wikidata.org/wiki/Q3085774

Field Hierarchy

Parent
Computer science 54.8M papers	Engineering 23.9M papers	Mathematics 21.1M papers	Programming language 7.2M papers
Operating system 6.2M papers	Algorithm 4.5M papers	Software 879k papers	Software engineering 674k papers
Theoretical computer science 615k papers		Formal verification 14.6k papers
Current
B-Method 221 papers
Child

Trends

Notes

History