Eine Methode zur formalen Verifikation von RISC-Prozessoren, Sofiène Tahar
Nadie lo ha calificado todavía.Añadir reseña