Formal techniques for hardware allocation | Publicación