81 citations · 168 across the 16 of their papers we have counts for
1 paper · 1 filter
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić +3
Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) wil…