4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Franck Cassez, Ralf Huuck, Gerwin Klein +1
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conferen…