"On the Understandability of Temporal Properties Formalized in Linear ..."

Christoph Czepa, Uwe Zdun (2020)

Details and statistics

DOI: 10.1109/TSE.2018.2859926

access: closed

type: Journal Article

metadata version: 2020-02-06