Andrzej W\k{a}sowski

Identifiers

• name variant Andrzej W\k{a}sowski 0.60 · backfill

Papers (2)

1. Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version) cs.PL · 2015 · author #3
2. Refinement for Transition Systems with Responses cs.LO · 2012 · author #4

Mentions

• 1503.04608 #3 · backfill · confidence 0.70 Andrzej W\k{a}sowski
• 1207.4270 #4 · backfill · confidence 0.70 Andrzej W\k{a}sowski

Frequent Coauthors

• Aleksandar S. Dimovski 1 shared papers
• Claus Brabrand 1 shared papers
• Gian Perrone 1 shared papers
• Marco Carbone 1 shared papers
• Thomas Hildebrandt 1 shared papers