Stephen N. Freund - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Wed 9 Jul 2014

Name:Stephen N. Freund

Affiliation:Williams College

Contributions

2024

ECOOP

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile