Login / Signup
Johanan Wahlang
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Memory Size
Rewrite Systems
International Competition
Term Rewriting
Top Venues
TACAS (2)
</>
Publications
</>
Viktor Malík
,
Stefan Marticek
,
Peter Schrammel
,
Mandayam K. Srivas
,
Tomás Vojnar
,
Johanan Wahlang
2LS: Memory Safety and Non-termination - (Competition Contribution).
TACAS (2)
(2018)