v1
On the heroism of really pursuing formal methods: title inspired by Dijkstra's "On the Cruelty of Really Teaching Computing Science"
Identifier:nobleid.org/w1/20260515/DCFE70B2
Type:Journal Article
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/DCFE70B2)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims
Paper Authors