|
中图分类法:
|
TP302.1 版次： |
|
题名:
|
Formal methods : [ foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /] / , |
|
载体形态:
|
ix, 179 pages : illustrations ; 24 cm. |
|
内容提要:
|
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Macei, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construct |