14 citations · 21 across the 3 of their papers we have counts for
1 paper · 2 filters
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…