Login / Signup

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.

Fabio GadducciAndrea LarettoDavide Trotta
Published in: ICGT (2023)
Keyphrases