TAP (Conference) (2024 :)

Overview

Works:	12 works in 1 publications in 1 languages

Titles

Tests and proofs = 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: TAP (Conference) (2024 :); Huisman, Marieke.; Howar, Falk.; SpringerLink (Online service) (Electronic resources)

Subjects