Browsing by Person Zhang, Jiyang
Showing results 1 to 1 of 1
Issue Date | Title | Involved Person(s) |
---|---|---|
2022 | Python-by-contract dataset | Zhang, Jiyang; Ristin, Marko; Schanely, Phillip; van de Venn, Hans Wernher; Gligoric, Milos |
Issue Date | Title | Involved Person(s) |
---|---|---|
2022 | Python-by-contract dataset | Zhang, Jiyang; Ristin, Marko; Schanely, Phillip; van de Venn, Hans Wernher; Gligoric, Milos |