Achieving Security Assurance with Assertion-based Application Construction Journal title: EAI Endorsed Transactions on Collaborative Computing Authors: Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr Subject(s): Computer and Information Science, Computer Architecture, Data Communication and Networks
