Dependable Systems

Identifiers

• name variant Dependable Systems 0.60 · backfill

Papers (1)

1. Data-flow Analysis of Programs with Associative Arrays cs.SE · 2014 · author #2

Mentions

• 1405.1116 #2 · backfill · confidence 0.70 Dependable Systems

Frequent Coauthors

• Charles University in Prague 1 shared papers
• Czech Republic) 1 shared papers
• David Hauzar (Department of Distributed 1 shared papers
• Faculty of Mathematics 1 shared papers
• Jan Kofro\v{n} (Department of Distributed 1 shared papers
• Pavel Ba\v{s}teck\'y (Department of Distributed 1 shared papers
• Physics 1 shared papers