Viktor Kuncak und Conference - Info zur Person

(1 - 13 von 20

)

Verification, Model Checking, and Abstract Interpretation: 13th

books.google.de

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012,...

Automated Deduction -- CADE-23: 23rd International Conference on...

books.google.de

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August...

Computer Aided Verification: 23rd International Conference, CAV

books.google.de

Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) ...

Automated Reasoning: 4th International Joint Conference, IJCAR 2008,...

books.google.de

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in...

Verification, Model Checking, and Abstract Interpretation : Viktor...

blackwells.co.uk

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012,...

text file - School of Computer Science - University of Birmingham

gpbib.cs.ucl.ac.uk

In Proceedings International Computer Music Conference Proceedings SMC 2014, Doctor of technology, Royal Institute of Technology (KTH), Stockholm, [DKMS13a] Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha.

Sets with Cardinality Constraints in Satisfiability Modulo Theories |...

link.springer.com

Philippe Suter; Robin Steiger; Viktor Kuncak. Conference paper. 9 Citations · 8 Readers · 540 Downloads. Part of the Lecture Notes in Computer Science book ...

Runtime Verification | SpringerLink

link.springer.com

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September

Viktor Kuncak - Navedbe iz Google Učenjaka

scholar.google.si

M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov. Proceedings of the 32nd ACM/IEEE International Conference on Software ...,

Organization | CAV 2017, Heidelberg Germany

cavconference.org

Conference co-chairs. Viktor Kuncak, EPFL, Switzerland Rupak Majumdar, Max Planck Institute for Software Systems, Germany ...

Karen Zee

www.mit.edu

Karen Zee, Viktor Kuncak, and Martin Rinard ACM SIGPLAN conference on Programming language design and implementation, June Slides [pdf] Verifying Complex Properties using Symbolic Shape Analysis [pdf] Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard

Alle Infos zum Namen "Viktor Kuncak"

Verwandte Suchanfragen zu Viktor Kuncak

Ruzica Piskac
Clark Barrett
Tihomir Gvero

Carsten Sinz
Etienne Kneuss
Ivan Kuraj

Personen
Vorname "Viktor" (8483)
Name "Kuncak" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Viktor Kuncak und Conference Person-Info