Formal Methods and Software Engineering 21st International Conferenc

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selec

  • PDF / 21,211,502 Bytes
  • 543 Pages / 439.371 x 666.143 pts Page_size
  • 94 Downloads / 237 Views

DOWNLOAD

REPORT

Recommend Documents
Software Engineering and Formal Methods 14th International Conferenc

151 91 16MB

Software Engineering and Formal Methods 18th International Conferenc

164 39 15MB

Formal Methods and Software Engineering 6th International Conference

183 106 6MB

Formal Methods and Software Engineering 5th International Conference

181 36 6MB

Formal Methods and Software Engineering 8th International Conference

171 40 9MB

Correction to: Formal Methods and Software Engineering

185 3 12MB

Information and Communications Security 21st International Conferenc

192 16 51MB

Software Engineering and Formal Methods SEFM 2014 Collocated Worksho

167 25 41MB

Software Engineering and Formal Methods SEFM 2019 Collocated Worksho

143 81 10MB

Software Engineering and Formal Methods SEFM 2013 Collocated Worksho

161 86 12MB

FM 2016: Formal Methods 21st International Symposium, Limassol, Cypr

175 7 30MB

DNA Computing and Molecular Programming 21st International Conferenc

176 24 8MB