Tijmen van den Pol
Identifiers
- name variant Tijmen van den Pol 0.50 · backfill
Papers (1)
- Having Fun in Learning Formal Specifications cs.SE · 2019 · author #12
Mentions
No mention provenance yet.
Frequent Coauthors
- Craig Q.H.D. Leek 1 shared papers
- I.S.W.B. Prasetya 1 shared papers
- Jan van Bergen 1 shared papers
- Jelle J. Oostveen 1 shared papers
- J.M. Everink 1 shared papers
- Joris ten Tusscher 1 shared papers
- Mike de Vries 1 shared papers
- Orestis Melkonian 1 shared papers
- Petar Kostic 1 shared papers
- Rick Meijerink 1 shared papers
- Roan Oosenbrug 1 shared papers
- Thomas van der Klis 1 shared papers
- Wink M. van Zon 1 shared papers