Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / Constantin Enea, Ruzica Piskac (eds.)

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Corporate Author:	VMCAI (Conference) Cascais, Portugal)
Other Authors:	Enea, Constantin (Editor), Piskac, Ruzica (Editor)
Other title:	VMCAI 2019.
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2019.
Series:	Lecture notes in computer science ; 11388. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer software > Verification > Congresses. Software engineering > Congresses. Computer software > Verification. Software engineering. Conference papers and proceedings.

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number:	QA76.76.V47
QA76.76.V47	Available