TY  - GEN
T1  - Leveraging applications of formal methods, verification and validation :verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.
AU  - Margaria-Steffen, Tiziana,
AU  - Steffen, Bernhard,
VL  - 11245
CN  - QA76.9.F67
N1  - International conference proceedings.
ID  - 856479
KW  - Formal methods (Computer science)
KW  - Robots
KW  - Machine learning
KW  - Computer software
SN  - 9783030034214
SN  - 3030034216
TI  - Leveraging applications of formal methods, verification and validation :verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-03421-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-03421-4
ER  -