posted by user: garganti || 1809 views || tracked by 2 users: [display]

TAP 2022 : Tests and Proofs

FacebookTwitterLinkedInGoogle


Conference Series : Tests and Proofs
 
Link: https://easychair.org/smart-program/TAP22/
 
When Jul 4, 2022 - Jul 8, 2022
Where Nantes, France
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

TAP 2024   18th International Conference on Tests and Proofs
VST 2024   7th Workshop on Validation, Analysis and Evolution of Software Tests
ZKDAPPS 2024   1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications