TY  - GEN
DO  - 10.1007/978-3-662-45234-9
DO  - doi
T1  - Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings.
AU  - Margaria-Steffen, Tiziana,
AU  - Steffen, Bernhard,
VL  - 8802
CN  - SpringerLink
CN  - TJ211.45
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 711815
KW  - Robots
KW  - Machine learning
KW  - Computer software
KW  - Formal methods (Computer science)
SN  - 9783662452349
SN  - 3662452340
TI  - Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings.
LK  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-45234-9
UR  - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-662-45234-9
ER  -