Vol-3958⫷ Vol-3959 ⫸Vol-3960
urn:nbn:de:0074-3959-0


Vol-3959/PT-preface⫷Vol-3959/PT-paper1⫸Vol-3959/PT-paper2
Nico HauffElisabeth HenkelTobias KolzerVincent LangenfeldAndreas Podelski

Hanfor: Requirements Formalisation and Beyond