%0 Journal Article %1 journals/eetcc/Rubio-MedranoAS15 %A Rubio-Medrano, Carlos E. %A Ahn, Gail-Joon %A Sohr, Karsten %D 2015 %J EAI Endorsed Trans. Collaborative Computing %K dblp %N 6 %P e3 %T Achieving Security Assurance with Assertion-based Application Construction. %U http://dblp.uni-trier.de/db/journals/eetcc/eetcc1.html#Rubio-MedranoAS15 %V 1

@article{journals/eetcc/Rubio-MedranoAS15, added-at = {2019-05-22T00:00:00.000+0200}, author = {Rubio-Medrano, Carlos E. and Ahn, Gail-Joon and Sohr, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/216b0ac5f21dbafeacd144c0ee56c660c/dblp}, ee = {https://doi.org/10.4108/eai.21-12-2015.150819}, interhash = {a60b7133304454ca70c6fbb2017d7707}, intrahash = {16b0ac5f21dbafeacd144c0ee56c660c}, journal = {EAI Endorsed Trans. Collaborative Computing}, keywords = {dblp}, number = 6, pages = {e3}, timestamp = {2019-05-23T11:42:58.000+0200}, title = {Achieving Security Assurance with Assertion-based Application Construction.}, url = {http://dblp.uni-trier.de/db/journals/eetcc/eetcc1.html#Rubio-MedranoAS15}, volume = 1, year = 2015 }