TY  - GEN
DO  - 10.1007/978-3-319-66197-1
DO  - doi
T1  - Software engineering and formal methods :15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /
AU  - Cimatti, Alessandro,
AU  - Sirjani, Marjan,
VL  - 10469
CN  - QA76.758
N1  - International conference proceedings.
ID  - 798350
KW  - Software engineering
KW  - Formal methods (Computer science)
SN  - 9783319661971
SN  - 3319661973
TI  - Software engineering and formal methods :15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66197-1
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66197-1
ER  -