Sanne Nolst Trenit\'e

Identifiers

• name variant Sanne Nolst Trenit\'e 0.60 · backfill

Papers (1)

1. Towards a formalization of budgets cs.LO · 2008 · author #2

Mentions

• 0802.3617 #2 · backfill · confidence 0.70 Sanne Nolst Trenit\'e

Frequent Coauthors

• Jan A. Bergstra 1 shared papers
• Mark B. van der Zwaag 1 shared papers