TY  - GEN
AU  - Avigad, Jeremy,
AU  - Mahboubi, Assia,
CN  - QA76.9.A96
DO  - 10.1007/978-3-319-94821-8
DO  - doi
ID  - 844153
KW  - Automatic theorem proving
KW  - Software engineering
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94821-8
N1  - International conference proceedings.
N1  - Includes author index.
SN  - 9783319948218
SN  - 3319948210
T1  - Interactive theorem proving :9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
TI  - Interactive theorem proving :9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94821-8
VL  - 10895
ER  -