Henri Habrias

Identifiers

No identifiers captured yet.

Papers (1)

1. Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer cs.GL · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jonathan P. Bowen 1 shared papers