research
∙
07/29/2022
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
This volume constitutes the informal proceedings of the 32nd Internation...
share
research
∙
08/27/2021
A denotational semantics for PROMELA addressing arbitrary jumps
PROMELA (Process Meta Language) is a high-level specification language d...
research
∙
09/17/2019
