Peter Rivi\`ere

Identifiers

No identifiers captured yet.

Papers (1)

1. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory cs.LO · 2025 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Flavio Ferrarotti 1 shared papers
• Guillaume Dupont 1 shared papers
• Klaus-Dieter Schewe 1 shared papers
• Neeraj Kumar Singh 1 shared papers
• Yamine A\"it Ameur 1 shared papers