27 citations · 106 across the 15 of their papers we have counts for
1 paper · 2 filters
Jiri Barnat, Petr Bauch
A comprehensive verification of parallel software imposes three crucial requirements on the procedure that implements it. Apart from accepting real code as program input and tempor…