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

Schlagworte: DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, proceedings

Schlagworte: DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Verification, model checking, and abstract interpretation 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part II

Schlagworte:
Volltext

Verification, model checking, and abstract interpretation 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part I

Schlagworte:
Volltext

Verification, model checking, and abstract interpretation 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, proceedings

Schlagworte:
Volltext

Verification, model checking, and abstract interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings

Schlagworte: DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Verification, model checking, and abstract interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

Schlagworte:
Volltext

Verification, model checking, and abstract interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Schlagworte:
Volltext

Abstrakte Interpretation logischer Programme Theorie, Implementierung, Generierung von Fecht, Christian

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung von Steffen, Bernhard

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung von Steffen, Bernhard

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung von Steffen, Bernhard

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung von Steffen, Bernhard

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten von Steffen, Bernhard

History of abstract interpretation von Giacobazzi, Roberto, Ranzato, Francesco

Schlagworte: “… Abstrakte Interpretation (DE-588)4621153-6 gnd …”

Volltext

Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS_BPEL-Prozessen von Görlach, Katharina

Special issue on International Workshop on Invariant Generation [... 3rd ...(WING 2010) that was held on 21 July 2010 in Edinburg, as a satellite event of the fifth International F...

Schlagworte: “… Abstrakte Interpretation (DE-588)4621153-6 gnd …”

Verification, model checking, and abstract interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003 ; proceedings

Schlagworte: DE-91
DE-384
DE-19
DE-739
Volltext

Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers

Schlagworte: DE-91
DE-384
DE-19
DE-739
Volltext

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings

Schlagworte: DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
Volltext