21 results · clear filters Sort: newest oldest name

1. Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
   2024 · Milan, Italy
   Computer and information sciences
   e11wwsn
2. International Conference of Tests and Proofs (TAP)
   series, 20 events, 2007 to 2024
   Computer and information sciences
   s10anyr
3. Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
   2023 · Leicester, United Kingdom
   Computer and information sciences
   e11wwrq
4. International Conference of Tests and Proofs (TAP 2022)
   2022-07-05 · Nantes, France
   Computer and information sciences
   e11wwqs
5. International Conference of Tests and Proofs (TAP 2021)
   2021-06-21/22 · online
   Computer and information sciences
   e11wwpv
6. International Conference of Tests and Proofs (TAP 2020)
   2020-06-22/23 · Bergen, Norway · online
   Computer and information sciences
   e11wwnx
7. International Conference of Tests and Proofs (TAP 2019, TAP@FM 2019)
   2019-10-09/11 · Porto, Portugal
   Computer and information sciences
   e10ed85
8. Tests and Proofs (TAP)
   2019-10-09/11 · Porto, Portugal
   Computer and information sciences
   e12p0fh
9. International Conference on Tests and Proofs (TAP)
   2019-10-09/11 · Porto, Portugal
   Computer and information sciences
   e12p0ge
10. International Conference of Tests and Proofs (TAP 2018, TAP)
    2018-06-27/29 · Toulouse, France
    Computer and information sciences
    e10gdtv
11. International Conference of Tests and Proofs (TAP 2017, TAP)
    2017-07-19/20 · Marburg, Germany
    Computer and information sciences
    e108a9j
12. International Conference of Tests and Proofs (TAP 2016, TAP)
    2016-07-05/07 · Vienna, Austria
    Computer and information sciences
    e108a8m
13. International Conference of Tests and Proofs (TAP 2015, TAP)
    2015-07-22/24 · L'Aquila, Italy
    Computer and information sciences
    e108a7p
14. International Conference of Tests and Proofs (TAP 2014, TAP)
    2014-07-24/25 · York, United Kingdom
    Computer and information sciences
    e108a6r
15. International Conference of Tests and Proofs (TAP 2013, TAP)
    2013-06-16/20 · Budapest, Hungary
    Computer and information sciences
    e108a5t
16. International Conference of Tests and Proofs (TAP 2012, TAP)
    2012-05-31 to 2012-06-01 · Prague, Czech Republic
    Computer and information sciences
    e108a4w
17. International Conference of Tests and Proofs (TAP 2011, TAP)
    2011-06-30 to 2011-07-01 · Zurich, Switzerland
    Computer and information sciences
    e108a3y
18. International Conference of Tests and Proofs (TAP 2010, TAP)
    2010-07-01/02 · Málaga, Spain
    Computer and information sciences
    e108a20
19. International Conference of Tests and Proofs (TAP 2009, TAP)
    2009-07-02/03 · Zurich, Switzerland
    Computer and information sciences
    e108a12
20. International Conference of Tests and Proofs (TAP 2008, TAP)
    2008-04-09/11 · Prato, Italy
    Computer and information sciences
    e108a04
21. International Conference of Tests and Proofs (TAP 2007, TAP)
    2007-02-12/13 · Zurich, Switzerland
    Computer and information sciences
    e1089z6

As JSON: https://labs.confref.org/api/search?series=s10anyr