Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic. A Language Agnostic Approach to Modeling Requirements: Specification and Verification.
MODELS ’20 Companion, Oct 2020, Virtual Event, Canada.
⟨10.1145/3417990.3419224⟩.
⟨hal-02924645⟩