Login / Signup

Specifying Life Cycle Requirements in a Natural-like Language and ptLTL.

Dominik FrankeStefan HempelStefan Kowalewski
Published in: ICST Workshops (2013)
Keyphrases