Login / Signup
Petar Kostic
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Formal Specification
Object Oriented Design
Multi Agent
Learning Curve
Top Venues
CoRR
ICST Workshops
</>
Publications
</>
I. S. W. B. Prasetya
,
Craig Q. H. D. Leek
,
Roan Oosenbrug
,
Petar Kostic
,
Mike de Vries
Can Learning Formal Specification Be Fun? - Experience and Perspective.
ICST Workshops
(2020)
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)