Correct-by-construction microarchitectural pipelining | Publicación