-
1
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Published 2013“…Transformation Approach for Multiform Time Requirements /…”
Full Text (via Springer)
Conference Proceeding eBook