Browsing by Person Schanely, Phillip
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 |