presented at event 22nd International Symposium on Formal Methods (FM) held as Part of the Federated Logic Conference (FloC) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods SPECIFICATIONS Science & Technology TASKS Technology