Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/poster_4⫷Vol-2019/poster_5⫸Vol-2019/docsymp_intro
Sara Pérez-SolerJuan de Lara

JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code