SRI Think Tank and University Turn Software Verification into Gameplay
spireco1https://spirecommunications.com/wp-content/uploads/2017/12/SpireLogo-300x138.pngspireco12013-12-09 19:26:552013-12-09 19:26:55SRI Think Tank and University Turn Software Verification into Gameplay