Proceedings 4th International Workshop on Engineering Safety and Security Systems
Software Engineering
2015-06-11 v1
Abstract
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International Symposium on Formal Methods (FM'15).
Keywords
Cite
@article{arxiv.1506.03250,
title = {Proceedings 4th International Workshop on Engineering Safety and Security Systems},
author = {Jun Pang and Yang Liu and Sjouke Mauw},
journal= {arXiv preprint arXiv:1506.03250},
year = {2015}
}