FTfJP

AcronymDefinition
FTfJP➣Formal Techniques for Java-Like Programs (workshop)