6,140 followers
#Publication - Lingva: Generating and proving program properties using symbol elimination | We describe the Lingva… https://t.co/tkvXG4L4Hs
#Publication - Lingva: Generating and proving program properties using symbol elimination | We describe the Lingva… https://t.co/tkvXG4L4Hs