Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings / Lindsay Groves, Jing Sun (eds.)
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | ICFEM 2013. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
[2013]
|
| Series: | Lecture notes in computer science ;
8144. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67
|
|---|---|
| QA76.9.F67 | Available |