Jens Bendisposto

Identifiers

• name variant Jens Bendisposto 0.60 · backfill

Papers (2)

1. Symbolic Reachability Analysis of B through ProB and LTSmin cs.SE · 2016 · author #1
2. A Semantics-Aware Editing Environment for Prolog in Eclipse cs.PL · 2009 · author #1

Mentions

• 0903.2252 #1 · backfill · confidence 0.70 Jens Bendisposto

Frequent Coauthors

• Michael Leuschel 2 shared papers
• David Schneider 1 shared papers
• Helen Treharne 1 shared papers
• Ian Endrijautzki 1 shared papers
• Jaco van de Pol 1 shared papers
• Jeroen Meijer 1 shared papers
• Jorden Whitefield 1 shared papers
• Philipp Koerner 1 shared papers