Michael Leuschel (Heinrich Heine University

Identifiers

• name variant Michael Leuschel (Heinrich Heine University 0.60 · backfill

Papers (1)

1. Who watches the watchers: Validating the ProB Validation Tool cs.SE · 2014 · author #7

Mentions

• 1404.6603 #7 · backfill · confidence 0.70 Michael Leuschel (Heinrich Heine University

Frequent Coauthors

• D\"usseldorf 1 shared papers
• Germany) 1 shared papers
• Jens Bendisposto (Heinrich Heine University 1 shared papers
• Sebastian Krings (Heinrich Heine University 1 shared papers