Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefu...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Dillig, Isil (Editor), Tasiran, Serdar (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer International Publishing : Imprint: Springer, 2019.
Udgivelse:1st ed. 2019.
Serier:Theoretical Computer Science and General Issues, 11561
Fag:
Online adgang:Link to Metadata
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Internet

Link to Metadata

3rd Floor Main Library

Detaljer om beholdninger fra 3rd Floor Main Library
Klassifikationsnummer: A1234.567
Kopi 1 Tilgængelig