Compositional Verification in Rewriting Logic
Aldizkaria:
Theory and Practice of Logic Programming
ISSN: 1475-3081, 1471-0684
Argitalpen urtea: 2023
Mota: Artikulua