formal_methods static_code_analysis software verification news pc audio bayesian debian formal hardware journal mini-itx patents politics sgi silent silent_pc studies testing ...more...

Similar Users

partycloz, haohaichenji, dariuscordell, cacings, bensonandbrown, fredastaire_simpy, flowergirldress, skmenswear, invyne, jeffgowlett

Public Groups

Watching

Watched by

jprieto