TY  - GEN
T1  - Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
DA  - [2014]
CY  - Cham :
AU  - Bernardo, Marco,
AU  - Damiani, Ferruccio,
AU  - Hähnle, Reiner,
AU  - Johnsen, Einar Broch,
AU  - Schaefer, Ina,
VL  - 8483
CN  - SpringerLink
CN  - QA76.76.D47
PB  - Springer,
PP  - Cham :
PY  - [2014]
N1  - Includes author index.
ID  - 705384
KW  - Computer software
KW  - Formal methods (Computer science)
SN  - 9783319073170
SN  - 3319073176
TI  - Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
LK  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07317-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07317-0
ER  -