1 citations · 1 across the 1 of their papers we have counts for
1 paper
Phillip James, Markus Roggenbach
The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of for…