Login / Signup
Tijmen van den Pol
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Databases
Formal Specification
Supervised Learning
Object Oriented Design
Top Venues
CoRR
ICSE (SEET)
</>
Publications
</>
I. S. W. B. Prasetya
,
Craig Q. H. D. Leek
,
Orestis Melkonian
,
Joris ten Tusscher
,
Jan van Bergen
,
J. M. Everink
,
Thomas van der Klis
,
Petar Kostic
,
Rick Meijerink
,
Roan Oosenbrug
,
Jelle J. Oostveen
,
Tijmen van den Pol
,
Mike de Vries
,
Wink M. van Zon
Having Fun in Learning Formal Specifications.
CoRR
(2019)
I. S. W. B. Prasetya
,
Craig Q. H. D. Leek
,
Orestis Melkonian
,
Joris ten Tusscher
,
Jan van Bergen
,
J. M. Everink
,
Thomas van der Klis
,
Rick Meijerink
,
Roan Oosenbrug
,
Jelle J. Oostveen
,
Tijmen van den Pol
,
Wink M. van Zon
Having fun in learning formal specifications.
ICSE (SEET)
(2019)