B-Method

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

Field Hierarchy

Parent
Computer science 61.9M papers	Engineering 25M papers	Mathematics 21.8M papers	Programming language 7.6M papers
Operating system 6.4M papers	Algorithm 4.6M papers	Software 926k papers	Software engineering 710k papers
Theoretical computer science 609k papers		Formal verification 15.4k papers
Current
B-Method 229 papers
Child

Trends

Notes

History