Abstract Certification of Global Non-Interference in Rewriting Logic - Sciweavers

30

click to vote

more CORR 2010 ...

users.dsic.upv.es

Tweet