PolyJuS

Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19 ◽

10.1145/3328433.3328434 ◽

2019 ◽

Author(s):

Fabio Niephaus ◽

Eva Krebs ◽

Christian Flach ◽

Jens Lincke ◽

Robert Hirschfeld

Download Full-text