Vol-3810⫷ Vol-3811 ⫸Vol-3812
urn:nbn:de:0074-3811-0


Vol-3811/paper120⫷Vol-3811/paper050⫸Vol-3811/paper190
Cosimo Perini BrogiRocco De NicolaOmar Inverso

Simpson’s Proof Systems for Process Verification: A Fine-tuning (short paper)