Holdings: Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation: 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	VMCAI Saint Petersburg, Fla (Author)
Other Authors:	Jobstmann, Barbara (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin Springer [2016]
Series:	Lecture Notes in Computer Science 9583
Subjects:	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Research UM Applications Computer Science Conference Proceedings Informatics Konferenzschrift
Online Access:	http://www.springer.com/ Inhaltstext Inhaltsverzeichnis
Physical Description:	XIII, 558 Seiten Illustrationen, Diagramme
ISBN:	3662491214 9783662491218

Staff View

MARC


LEADER	00000nam a22000008cb4500
001	BV043382073
003	DE-604
005	20160222
007	t\|
008	160222s2016 gw a\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 15,N49 \|2 dnb
016	7		\|a 107933677X \|2 DE-101
020			\|a 3662491214 \|9 3-662-49121-4
020			\|a 9783662491218 \|9 978-3-662-49121-8
024	3		\|a 9783662491218
035			\|a (OCoLC)932027544
035			\|a (DE-599)DNB107933677X
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83
082	0		\|a 004 \|2 23
084			\|a 004 \|2 sdnb
111	2		\|a VMCAI \|n 17. \|d 2016 \|c Saint Petersburg, Fla. \|j Verfasser \|0 (DE-588)1082526479 \|4 aut
245	1	0	\|a Verification, model checking, and abstract interpretation \|b 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings \|c Barbara Jobstmann, K. Rustan M. Leino (eds.)
264		1	\|a Berlin \|b Springer \|c [2016]
300			\|a XIII, 558 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 9583
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Interpretation \|0 (DE-588)4621153-6 \|2 gnd \|9 rswk-swf
653			\|a Research
653			\|a UM
653			\|a Applications
653			\|a Computer Science
653			\|a Conference Proceedings
653			\|a Informatics
653			\|a Research
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0	3	\|a Abstrakte Interpretation \|0 (DE-588)4621153-6 \|D s
689	0	4	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Jobstmann, Barbara \|4 edt
710	2		\|a Springer-Verlag GmbH \|0 (DE-588)1065168780 \|4 pbl
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-662-49122-5
830		0	\|a Lecture Notes in Computer Science \|v 9583 \|w (DE-604)BV000000607 \|9 9583
856	4	0	\|u http://www.springer.com/ \|x Verlag
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=cb7cbe2dad934fc09d7d4418bbdd3535&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028800733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028800733

Record in the Search Index

_version_	1820875670034579456
adam_text	CONTENTS INVITED TALKS AUTOMATING ABSTRACT INTERPRETATION 3 THOMAS REPS AND ADITYA THAKUR VIPER: A VERIFICATION INFRASTRUCTURE FOR PERMISSION-BASED REASONING 41 PETER MIILLER, MALTE SCHWERHOFF, AND ALEXANDER J. SUMMERS ABSTRACT INTERPRETATION PREDICATE ABSTRACTION FOR LINKED DATA STRUCTURES 65 ALEXANDER BAKST AND RANJIT JHALA AN ABSTRACT DOMAIN OF UNINTERPRETED FUNCTIONS 85 GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SANDERGAARD, AND PETER J. STUCKEY PROPERTY DIRECTED ABSTRACT INTERPRETATION 104 NOAM RINETZKY AND SHARON SHOHAM ABSTRACTION PROGRAM ANALYSIS WITH LOCAL POLICY ITERATION 127 EGOR GEORGE KARPENKOV, DAVID MONNIAUX, AND PHLLIPP WENDLER LAZY CONSTRAINED MONOTONIC ABSTRACTION 147 ZEINAB GANJEI, AHMED REZINE, PETRU ELES, AND ZEBO PENG POLYHEDRAL APPROXIMATION OF MULTIVARIATE POLYNOMIALS USING HANDELMAN'S THEOREM 166 ALEXANDRE MARECHAL, ALEXIS FOUILHE, TIM KING, DAVID MONNIAUX, AND MICHAEL PERIN D 3 : DATA-DRIVEN DISJUNCTIVE ABSTRACTION 185 HILA PELEG, SHARON SHOHAM, AND ERAN YAHAV EXACT HEAP SUMMARIES FOR SYMBOLIC EXECUTION 206 BENJAMIN HILLERY, ERIC MERCER, NEHA RUNGTA, AND SUZETTE PERSON HTTP://D-NB.INFO/107933677X XII CONTENTS HYBRID AND TIMED SYSTEMS ABSTRACT INTERPRETATION WITH INFINITESIMALS: TOWARDS SCALABILITY IN NONSTANDARD STATIC ANALYSIS 229 KENGO KIDO, SWARAT CHAUDHURI, AND ICHIRO HASUO LIPSCHITZ ROBUSTNESS OF TIMED I/O SYSTEMS 250 THOMAS A. HENZINGER, JAN OTOP, AND ROOPSHA SAMANTA A METHOD FOR INVARIANT GENERATION FOR POLYNOMIAL CONTINUOUS SYSTEMS . 268 ANDREW SOGOKON, KHALIL GHORBAL, PAUL B. JACKSON, AND ANDRE PLATZER DYNAMIC AND STATIC VERIFICATION HYBRID ANALYSIS FOR PARTIAL ORDER REDUCTION OF PROGRAMS WITH ARRAYS 291 PAVEL PARIZEK CLOUD-BASED VERIFICATION OF CONCURRENT SOFTWARE 311 GERARD J. HOLZMANN ABSTRACTION-DRIVEN CONCOLIC TESTING 328 PRZEMYSLAW DACA, ASHUTOSH GUPTA, AND THOMAS A. HENZINGER PROBABILISTIC SYSTEMS REWARD-BOUNDED REACHABILITY PROBABILITY FOR UNCERTAIN WEIGHTED MDPS . 351 VAHID HASHEMI, HOLGER HERMANNS, AND LEI SONG PARAMETER SYNTHESIS FOR PARAMETRIC INTERVAL MARKOV CHAINS 372 BENOIT DELAHAYE, DIDIER LIME, AND LAURE PETRUCCI CONCURRENT PROGRAMS POINTER RACE FREEDOM 393 FREDERIC HAZIZA, LUKAS HOLIK, ROLAND MEYER, AND SEBASTIAN WOLFF A PROGRAM LOGIC FOR CI 1 MEMORY FENCES 413 MARKO DOKO AND VIKTOR VAFEIADIS FROM LOW-LEVEL POINTERS TO HIGH-LEVEL CONTAINERS 431 KAMIL DUDKA, LUKAS HOLIK, PETR PERINGER, MAREK TRTIK, AND TOMAS VOJNAR CONTENTS XIII PARAMETERIZED AND COMPONENT-BASED SYSTEMS REGULAR SYMMETRY PATTERNS 455 ANTHONY W. LIN, TRUONG KHANH NGUYEN, PHILIPP RUMMER, AND JUN SUN TIGHT CUTOFFS FOR GUARDED PROTOCOLS WITH FAIRNESS 476 SIMON AUFIERLECHNER, SWEN JACOBS, AND AYRAT KHALIMOV A GENERAL MODULAR SYNTHESIS PROBLEM FOR PUSHDOWN SYSTEMS 495 LLARIA DE CRESCENZO AND SALVATORE LA TORRE SOLVER IMPROVEMENTS MODEL CHECKING WITH MULTI-THREADED IC3 PORTFOLIOS 517 SAGAR CHAKI AND DERRICK KARIMI AUTOMATIC GENERATION OF PROPAGATION COMPLETE SAT ENCODINGS 536 MARTIN BRAIN, LIANA HADAREAN, DANIEL KROENING, AND RUBEN MARTINS AUTHOR INDEX 557
any_adam_object	1
author2	Jobstmann, Barbara
author2_role	edt
author2_variant	b j bj
author_corporate	VMCAI Saint Petersburg, Fla
author_corporate_role	aut
author_facet	Jobstmann, Barbara VMCAI Saint Petersburg, Fla
author_sort	VMCAI Saint Petersburg, Fla
building	Verbundindex
bvnumber	BV043382073
classification_rvk	SS 4800
ctrlnum	(OCoLC)932027544 (DE-599)DNB107933677X
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV043382073</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160222</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">160222s2016 gw a\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,N49</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">107933677X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662491214</subfield><subfield code="9">3-662-49121-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662491218</subfield><subfield code="9">978-3-662-49121-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662491218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932027544</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB107933677X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">17.</subfield><subfield code="d">2016</subfield><subfield code="c">Saint Petersburg, Fla.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1082526479</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings</subfield><subfield code="c">Barbara Jobstmann, K. Rustan M. Leino (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 558 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9583</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UM</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Applications</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer Science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Conference Proceedings</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jobstmann, Barbara</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer-Verlag GmbH</subfield><subfield code="0">(DE-588)1065168780</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-49122-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9583</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9583</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.springer.com/</subfield><subfield code="x">Verlag</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=cb7cbe2dad934fc09d7d4418bbdd3535&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028800733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028800733</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043382073
illustrated	Illustrated
indexdate	2025-01-10T15:19:18Z
institution	BVB
institution_GND	(DE-588)1082526479 (DE-588)1065168780
isbn	3662491214 9783662491218
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028800733
oclc_num	932027544
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XIII, 558 Seiten Illustrationen, Diagramme
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	VMCAI 17. 2016 Saint Petersburg, Fla. Verfasser (DE-588)1082526479 aut Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Barbara Jobstmann, K. Rustan M. Leino (eds.) Berlin Springer [2016] XIII, 558 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 9583 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Research UM Applications Computer Science Conference Proceedings Informatics (DE-588)1071861417 Konferenzschrift gnd-content Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s DE-604 Jobstmann, Barbara edt Springer-Verlag GmbH (DE-588)1065168780 pbl Erscheint auch als Online-Ausgabe 978-3-662-49122-5 Lecture Notes in Computer Science 9583 (DE-604)BV000000607 9583 http://www.springer.com/ Verlag X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=cb7cbe2dad934fc09d7d4418bbdd3535&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028800733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417
title	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
title_auth	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
title_exact_search	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
title_full	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Barbara Jobstmann, K. Rustan M. Leino (eds.)
title_fullStr	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Barbara Jobstmann, K. Rustan M. Leino (eds.)
title_full_unstemmed	Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings Barbara Jobstmann, K. Rustan M. Leino (eds.)
title_short	Verification, model checking, and abstract interpretation
title_sort	verification model checking and abstract interpretation 17th international conference vmcai 2016 st petersburg fl usa january 17 19 2016 proceedings
title_sub	17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
topic_facet	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift
url	http://www.springer.com/ http://deposit.dnb.de/cgi-bin/dokserv?id=cb7cbe2dad934fc09d7d4418bbdd3535&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028800733&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT vmcaisaintpetersburgfla verificationmodelcheckingandabstractinterpretation17thinternationalconferencevmcai2016stpetersburgflusajanuary17192016proceedings AT jobstmannbarbara verificationmodelcheckingandabstractinterpretation17thinternationalconferencevmcai2016stpetersburgflusajanuary17192016proceedings AT springerverlaggmbh verificationmodelcheckingandabstractinterpretation17thinternationalconferencevmcai2016stpetersburgflusajanuary17192016proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items