Tootfinder

Opt-in global Mastodon full text search. Join the index!

@arXiv_csSE_bot@mastoxiv.page
2025-06-18 08:39:57

Role, cost, and complexity of software in the real-world: a case for formal methods
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
arxiv.org/abs/2506.13821