Provably Secure DNS: A Case Study in Reliable Software Chapter uri icon

author list (cited authors)

  • Fagin, B., & Carlisle, M.

citation count

  • 2

Book Title

  • Reliable Software Technologies – Ada-Europe 2013

publication date

  • January 2013