TY  - GEN
DO  - 10.1007/978-3-030-32079-9
DO  - doi
T1  - Runtime verification :19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
AU  - Finkbeiner, Bernd,
AU  - Mariani, Leonardo,
VL  - 11757
CN  - QA76.76.V47
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 915754
KW  - Computer software
KW  - Formal methods (Computer science)
KW  - Computer software
SN  - 9783030320799
SN  - 3030320790
TI  - Runtime verification :19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-32079-9
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-32079-9
ER  -