|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| BernardoPadovaniZavattaro09 (Conference proceedings) | |
| Editor(s) | Marco Bernardo, Luca Padovani and Gianluigi Zavattaro |
| Title | « Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures » |
| Series | LNCS |
| Volume | 5569 |
| Year | 2009 |
| Publisher | Springer |
| ISBN number | 978-3-642-01917-3 |
| BibTeX code |
@proceedings{BernardoPadovaniZavattaro09,
volume = {5569},
series = {LNCS},
editor = {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro},
title = {{Formal Methods for Web Services, International School on Formal
Methods for the Design of Computer, Communication and Software
Systems (SFM'09), Advanced Lectures}},
isbn = {978-3-642-01917-3},
publisher = {Springer},
year = {2009},
doi = {10.1007/978-3-642-01918-0},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)