Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 results · clear filters Sort: newest oldest name
- Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 (SIGADA)Computer and information sciencese11sn0n
- SIGAda Conference on High Integrity Language Technology (SIGAda) (SIGAda)Computer and information sciencess10db5f
- Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 (SIGADA)Computer and information sciencese11smzq
- Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA (SIGADA)Computer and information sciencese11smys
- Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011 (SIGADA)Computer and information sciencese11snes
- Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010 (SIGADA)Computer and information sciencese11sndv
As JSON: https://labs.confref.org/api/search?series=s10db5f&from=2010&to=2019