activity
20032018
most citedThe Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector

29 citations · 66 across the 15 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2013★ 2 cited

Certifying Machine Code Safe from Hardware Aliasing: RISC is not necessarily risky

Peter T. Breuer, Jonathan P. Bowen

Sometimes machine code turns out to be a better target for verification than source code. RISC machine code is especially advantaged with respect to source code in this regard beca…