B-Method

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

Field Hierarchy

Parent
Computer science 62.9M papers	Engineering 25.6M papers	Mathematics 22.2M papers	Programming language 7.7M papers
Operating system 6.6M papers	Algorithm 4.7M papers	Software 941k papers	Software engineering 723k papers
Theoretical computer science 626k papers		Formal verification 15.6k papers
Current
B-Method 233 papers
Child

Trends

Notes

History