Formal Specifications on Industrial-Strength Code—From Myth to Reality | Publicación