Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications

von Choi, Wonhyuk
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities

von Lepiller, Julien
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)