Skip to content

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

Sara Prez-Soler, Juan de Lara

VenueAMODELS
Year2017
ProceedingsMoDELS (Satellite Events)

Browse the full MODELS paper archive.