Treffer: 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Title:
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015)
Authors:
Source:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:977-978 May, 2015
Relation:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE)
Database:
IEEE Xplore Digital Library