Tim A. C. Willemse (TU/e

Identifiers

No identifiers captured yet.

Papers (1)

1. Towards a Feature mu-Calculus Targeting SPL Verification cs.LO · 2016 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Eindhoven 1 shared papers
• Erik P. de Vink (TU/e 1 shared papers
• Italy) 1 shared papers
• Maurice H. ter Beek (ISTI-CNR 1 shared papers
• Pisa 1 shared papers
• the Netherlands) 1 shared papers