Verfügbarkeit: Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation: 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8318 : Advanced research in computing and software science
Schlagworte:	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift > 2014 > San Diego, Calif.
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XVII, 491 S. 235 mm x 155 mm
ISBN:	3642540120 9783642540127

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV041626682
003	DE-604
005	20140410
007	t\|
008	140204s2014 gw \|\|\|\| 10\|\|\| eng d
015			\|a 14,N01 \|2 dnb
016	7		\|a 1045474894 \|2 DE-101
020			\|a 3642540120 \|9 3-642-54012-0
020			\|a 9783642540127 \|c Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.) \|9 978-3-642-54012-7
024	3		\|a 9783642540127
028	5	2	\|a Best.-Nr.: 86358446
035			\|a (OCoLC)877883871
035			\|a (DE-599)DNB1045474894
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.14 \|2 22/ger
084			\|a SS 4800 \|2 sdnb
084			\|a DAT 325f \|2 stub
245	1	0	\|a Verification, model checking, and abstract interpretation \|b 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings \|c Kenneth L. McMillan ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2014
300			\|a XVII, 491 S. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8318 : Advanced research in computing and software science
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
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z San Diego, Calif. \|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 McMillan, Kenneth L. \|e Sonstige \|0 (DE-588)1047138220 \|4 oth
711	2		\|a VMCAI \|n 15 \|d 2014 \|c San Diego, Calif. \|j Sonstige \|0 (DE-588)1047140071 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-54013-4
830		0	\|a Lecture notes in computer science \|v 8318 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 8318
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4547040&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=027067674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027067674

Datensatz im Suchindex

_version_	1818420821775876096
adam_text	TABLE OF CONTENTS SAT-BASED SYNTHESIS METHODS FOR SAFETY SPECS 1 RODERICK BLOEM, ROBERT KONIGHOFER, AND MARTINA SEIDL PRECISE ANALYSIS OF VALUE-DEPENDENT SYNCHRONIZATION IN PRIORITY SCHEDULED PROGRAMS 21 MARTIN D. SCHWARZ, HELMUT SEIDL, VESAL VOJDANI, AND KALMER APINIS RELATIONAL THREAD-MODULAR STATIC VALUE ANALYSIS BY ABSTRACT INTERPRETATION 39 ANTOINE MINE TIMING ANALYSIS OF PARALLEL SOFTWARE USING ABSTRACT EXECUTION 59 ANDREAS GUSTAVSSON, JAN GUSTAFSSON, AND BJORN LISPER DOOMSDAY EQUILIBRIA FOR OMEGA-REGULAR GAMES 78 KRISHNENDU CHATTERJEE, LAURENT DOYEN, EMMANUEL FILIOT, AND JEAN-FRANGOIS RASKIN BISIMULATIONS AND LOGICAL CHARACTERIZATIONS ON CONTINUOUS-TIME MARKOV DECISION PROCESSES 98 LEI SONG, LIJUN ZHANG, AND JENS CHR. GODSKESEN PROBABILISTIC AUTOMATA FOR SAFETY LTL SPECIFICATIONS 118 DILEEP KINI AND MAHESH VISWANATHAN REFUTING HEAP REACHABILITY 137 BOR-YUH EVAN CHANG CASCADE 2.0 142 WEI WANG, CLARK BARRETT, AND THOMAS WIES A LOGIC-BASED FRAMEWORK FOR VERIFYING CONSENSUS ALGORITHMS 161 CEZARA DRAGOI, THOMAS A. HENZINGER, HELMUT VEITH, JOSEF WIDDER, AND DAMIEN ZUFFEREY VERIFYING ARRAY PROGRAMS BY TRANSFORMING VERIFICATION CONDITIONS 182 EMANUELE DE ANGELIS, FABIO FIORAVANTI, ALBERTO PETTOROSSI, AND MAURIZIO PROIETTI WEAKEST PRECONDITION SYNTHESIS FOR COMPILER OPTIMIZATIONS 203 NUNO P. LOPES AND JOSE MONTEIRO HTTP://D-NB.INFO/1045474894 XVI TABLE OF CONTENTS MESSAGE-PASSING ALGORITHMS FOR THE VERIFICATION OF DISTRIBUTED PROTOCOLS 222 LOIG JEZEQUEL AND JAVIER ESPARZA SAFETY PROBLEMS ARE NP-COMPLETE FOR FLAT INTEGER PROGRAMS WITH OCTAGONAL LOOPS 242 MARIUS BOZGA, R.ADU IOSIF, AND FILIP KONECNY PARAMETERIZED MODEL CHECKING OF TOKEN-PASSING SYSTEMS 262 BENJAMIN AMINOF, SWEN JACOBS, AYRAT KHALIMOV, AND SASHA RUBIN MODULARLY COMBINING NUMERIC ABSTRACT DOMAINS WITH POINTS-TO ANALYSIS, AND A SCALABLE STATIC NUMERIC ANALYZER FOR JAVA 282 ZHOULAI FU GENERIC COMBINATION OF HEAP AND VALUE ANALYSES IN ABSTRACT INTERPRETATION 302 PIETRO FERRARA MODELING PARSIMONIOUS PUTATIVE REGULATORY NETWORKS: COMPLEXITY AND HEURISTIC APPROACH 322 VICENTE ACUNA, ANDRES ARAVENA, ALEJANDRO MAASS, AND ANNE SIEGEL PRACTICAL FLOATING-POINT TESTS WITH INTEGER CODE 337 ANTHONY ROMANO MONITORING PARAMETRIC TEMPORAL LOGIC 357 PETER FAYMONVILLE, BERND FINKBEINER, AND DORON PELED PRECISELY DECIDING CONTROL STATE REACHABILITY IN CONCURRENT TRACES WITH LIMITED OBSERVABILITY 376 CHAO WANG AND KEVIN HOANG MODULAR SYNTHESIS OF SKETCHES USING MODELS 395 R.OHIT SINGH, R.ISHABH SINGH, ZHILEI XU, REBECCA KROSNICK, AND ARMANDO SOLAR-LEZAMA SYNTHESIS WITH IDENTIFIERS 415 RIIDIGER EHLERS, SANJIT A. SESHIA, AND HADAS KRESS-GAZIT SYNTHESIS FOR POLYNOMIAL LASSO PROGRAMS 434 JAN LEIKE AND ASHISH TI/WARI TABLE OF CONTENTS XVII POLICY ITERATION-BASED CONDITIONAL TERMINATION AND RANKING FUNCTIONS 453 DAMIEN MASSE WIDENING FOR CONTROL-FLOW 472 BEN HARDEKOPF, BEN WIEDERMANN, BERKELEY CHURCHILL, AND VINEETH KASHYAP AUTHOR INDEX 493
any_adam_object	1
author_GND	(DE-588)1047138220
building	Verbundindex
bvnumber	BV041626682
classification_tum	DAT 325f
ctrlnum	(OCoLC)877883871 (DE-599)DNB1045474894
dewey-full	005.14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.14
dewey-search	005.14
dewey-sort	15.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">BV041626682</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140410</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">140204s2014 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1045474894</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642540120</subfield><subfield code="9">3-642-54012-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642540127</subfield><subfield code="c">Pb. : ca. EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-54012-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642540127</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86358446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)877883871</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1045474894</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings</subfield><subfield code="c">Kenneth L. McMillan ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 491 S.</subfield><subfield code="c">235 mm x 155 mm</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">8318 : Advanced research in computing and software science</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">San Diego, Calif.</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">McMillan, Kenneth L.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1047138220</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">15</subfield><subfield code="d">2014</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1047140071</subfield><subfield code="4">oth</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-642-54013-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8318 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8318</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=4547040&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=027067674&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-027067674</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 San Diego, Calif. gnd-content
genre_facet	Konferenzschrift 2014 San Diego, Calif.
id	DE-604.BV041626682
illustrated	Not Illustrated
indexdate	2024-12-14T13:00:33Z
institution	BVB
institution_GND	(DE-588)1047140071
isbn	3642540120 9783642540127
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027067674
oclc_num	877883871
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XVII, 491 S. 235 mm x 155 mm
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings Kenneth L. McMillan ... (eds.) Berlin [u.a.] Springer 2014 XVII, 491 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8318 : Advanced research in computing and software science 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 (DE-588)1071861417 Konferenzschrift 2014 San Diego, Calif. 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 McMillan, Kenneth L. Sonstige (DE-588)1047138220 oth VMCAI 15 2014 San Diego, Calif. Sonstige (DE-588)1047140071 oth Erscheint auch als Online-Ausgabe 978-3-642-54013-4 Lecture notes in computer science 8318 : Advanced research in computing and software science (DE-604)BV000000607 8318 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4547040&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=027067674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; 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 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings
title_auth	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings
title_exact_search	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings
title_full	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings Kenneth L. McMillan ... (eds.)
title_fullStr	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings Kenneth L. McMillan ... (eds.)
title_full_unstemmed	Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings Kenneth L. McMillan ... (eds.)
title_short	Verification, model checking, and abstract interpretation
title_sort	verification model checking and abstract interpretation 15th international conference vmcai 2014 san diego ca usa january 19 21 2014 proceedings
title_sub	15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; 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 2014 San Diego, Calif.
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4547040&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=027067674&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT mcmillankennethl verificationmodelcheckingandabstractinterpretation15thinternationalconferencevmcai2014sandiegocausajanuary19212014proceedings AT vmcaisandiegocalif verificationmodelcheckingandabstractinterpretation15thinternationalconferencevmcai2014sandiegocausajanuary19212014proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge