Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- CGO 2019 + (31.3)
- CAV 2012 + (31.4)
- CSMR-WCRE 2014 + (31.4)
- CSMR 2009 + (31.4)
- POPL 1982 + (31.4)
- ICLR 2019 + (31.4)
- EKAW 2008 + (31.4)
- ETAPS 2019 + (31.4)
- TACAS 2019 + (31.4)
- ACIIDS 2018 + (31.4)
- SBAC-PAD 2017 + (31.5)