6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…