Login / Signup

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy.

Tiago SousaBenoît RiesNicolas Guelfi
Published in: CoRR (2024)
Keyphrases