Recommend this title to your librarian

  • Logics and Languages for Reliability and Security