Volume: Vol-3959 REFSQ 2025 | Year: 2025

Paper: « PT-preface | PT-paper1 | PT-paper2 »

Hanfor: Requirements Formalisation and Beyond

• Nico Hauff
• Elisabeth Henkel
• Tobias Kolzer
• Vincent Langenfeld
• Andreas Podelski

PDF