Volume: Vol-3811 ICTCS 2024 | Year: 2024

Paper: « paper120 | paper050 | paper190 »

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

• Omar Inverso ORCID dblp Wikidata
• Cosimo Perini Brogi dblp
• Rocco De Nicola ORCID dblp Wikidata GND

292-299 PDF