Introduction to the special issue on computational logic for verification | Publicación