Login / Signup
Jan Schaer
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Language
Business Rules
Learning Algorithm
Transition Systems
Top Venues
SPIN
</>
Publications
</>
Lukas Humbel
,
Daniel David Schwyn
,
Nora Hossle
,
Roni Haecki
,
Melissa Licciardello
,
Jan Schaer
,
David Cock
,
Michael Giardino
,
Timothy Roscoe
C Specification.
SPIN
(2021)