Computer aided verification 31st international conference, CAV 2019 : New York City, NY, USA, July 15-18, 2019 : proceedings, part I

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV New York, NY (VerfasserIn)
Weitere Verfasser:	Dillig, Isil (HerausgeberIn), Tasiran, Serdar (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer Open [2019]
Schriftenreihe:	Lecture notes in computer science 11561
Schlagworte:	Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling Computer Systems Organization and Communication Networks Software engineering Computer science Information theory Artificial intelligence Computer simulation Computer network architectures Softwareentwicklung Verifikation Konferenzschrift > 2019 > New York Aufsatzsammlung
Online-Zugang:	kostenfrei kostenfrei
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge