Hanfor: Requirements Formalisation and Beyond.

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

Browse the full REFSQ paper archive.