|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DaminaEtAl:sfm-2014 (Conference proceedings) | |
| Editor(s) | Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen and Ina Schaefer |
| Title | « Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures » |
| Series | Lecture Notes in Computer Science |
| Volume | 8483 |
| Year | 2014 |
| Publisher | Springer |
| ISBN number | 978-3-319-07316-3 |
| URL | http://dx.doi.org/10.1007/978-3-319-07317-0 |
| BibTeX code |
@proceedings{DaminaEtAl:sfm-2014,
volume = {8483},
bibsource = {dblp computer science bibliography, http://dblp.org},
series = {Lecture Notes in Computer Science},
editor = {Marco Bernardo and Ferruccio Damiani and Reiner H{\"{a}}hnle and
Einar Broch Johnsen and Ina Schaefer},
url = {http://dx.doi.org/10.1007/978-3-319-07317-0},
isbn = {978-3-319-07316-3},
title = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/sfm/2014},
publisher = {Springer},
year = {2014},
doi = {10.1007/978-3-319-07317-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)