Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
Selección de ponencias de la vigésimo sexta Conferencia Internacional sobre Verificación Asistida por Computadora, celebrada, como parte del Verano de Viena de la lógica, en Viena, Austria, en julio de 2014. Las contribuciones abordan los siguientes temas: Verificación de software; Seguridad; Autóma...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham, Suiza :
Springer,
2014, c2014
|
| Edice: | (Lecture Notes in Computer Science ;
8559) |
| Témata: | |
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Computer Aided Verification :
- Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part II /
- Computational Science and Its Applications, ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30–July 3, 2014 : Proceedings, Part VI /
- Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
- Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /