14 citations · 14 across the 1 of their papers we have counts for
1 paper
Mathieu Jaume, Théo Laurent
Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult t…