Cargando…

Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Enea, Constantin, Piskac, Ruzica
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755306

Ejemplares similares

Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
por: Beyer, Dirk, et al.
Publicado: (2020)

Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
por: Dillig, Isil, et al.
Publicado: (2018)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

CAS Proceedings of the 2019 course on High Gradient Wakeﬁeld Accelerators, Sesimbra, Portugal, 11–22 March 2019
por: Schmickler, Hermann
Publicado: (2020)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

Software quality: 11th international conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2018)

Hybrid metaheuristics: 11th international workshop, HM 2019, Concepción, Chile, January 16-18, 2019, proceedings
por: Blesa Aguilera, María J, et al.
Publicado: (2018)

Conference Abstracts: European Academy of Nursing Science Summer Conference 2019: Lisbon, Portugal. 10-11 July 2019
Publicado: (2019)

Theory and applications of satisfiability testing - SAT 2019: 22nd international conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, proceedings
por: Janota, Mikolás, et al.
Publicado: (2019)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part IV
por: Rodrigues, João M F, et al.
Publicado: (2019)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part V
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part I
por: Rodrigues, João M F, et al.
Publicado: (2019)

Business modeling and software design: 9th international symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, proceedings
por: Shishkov, Boris
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part III
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part II
por: Rodrigues, João M F, et al.
Publicado: (2019)

Static analysis and verification of aerospace software by abstract interpretation
por: Julien Bertrane, Julien, et al.
Publicado: (2015)

Computational topology in image context: 7th international workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, proceedings
por: Marfil, Rebeca, et al.
Publicado: (2018)

Multimedia modeling: 25th international conference,MMM 2019, Thessaloniki, Greece, January 8-11, 2019, proceedings, part II
por: Kompatsiaris, Ioannis, et al.
Publicado: (2018)

Distributed computing and internet technology: 15th international conference, ICDCIT 2019, Bhubaneswar, India, January 10-13, 2019, proceedings
por: Fahrnberger, Günter, et al.
Publicado: (2018)

Multimedia modeling: 25th international conference, MMM 2019, Thessaloniki, Greece, January 8-11, 2019, proceedings, part I
por: Kompatsiaris, Ioannis, et al.
Publicado: (2018)

Reviewers for the Journal of Insect Science: (January 2019–October 2019)
Publicado: (2020)

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings
por: Chen, Yu-Fang, et al.
Publicado: (2019)

Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints
por: Piskac, Ruzica
Publicado: (2020)

Salary Scale 1 January 2019
por: Stappers, Sara
Publicado: (2019)

CMS Induction Day - January 2019
por: Lapka, Marzena
Publicado: (2019)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

Interim 2019/20 influenza vaccine effectiveness: six European studies, September 2019 to January 2020
por: Rose, Angela, et al.
Publicado: (2020)

IAPCONKochi 2019 Proceedings
por: Daniel, Sunitha, et al.
Publicado: (2019)

Wireless and satellite systems: 10th EAI international conference, WISATS 2019, Harbin, China, January 12-13, 2019, proceedings, part II
por: Jia, Min, et al.
Publicado: (2019)

Databases theory and applications: 30th Australasian database conference, ADC 2019, Sydney, NSW, Australia, January 29 - February 1, 2019, proceedings
por: Chang, Lijun, et al.
Publicado: (2019)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Proceedings of the World Molecular Imaging Congress 2019, Montreal Quebec, Canada September 4-7, 2019: Late-Breaking Abstracts
Publicado: (2019)

Numerical software verification: 12th international workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings
por: Zamani, Majid, et al.
Publicado: (2019)

Abstracts - USICON 2019
Publicado: (2019)

ASNTR Abstracts 2019
Publicado: (2019)

ESICON 2019 Abstracts
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_1spuuvkmqgn5r45ol9ock9qhlc