Is Your Software on Dope?

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54434-1_4 ◽

2017 ◽

pp. 83-110 ◽

Author(s):

Pedro R. D’Argenio ◽

Gilles Barthe ◽

Sebastian Biewer ◽

Bernd Finkbeiner ◽

Holger Hermanns

Download Full-text