Nieuws

Computable10 j

CWI verhelpt bug in Java met formele methoden - Computable.nl

Onderzoekers van het Centrum Wiskunde & informatica (CWI) in Amsterdam hebben een bug gefixt in de veelgebruikte objectgerichte programmeertaal Java. Het gaat om een fout in een veel toegepast ...
CWI10 j

Bug in Java gefixt met formele methoden CWI

Onderzoekers van het Centrum Wiskunde & informatica (CWI) hebben in februari 2015 een bug gefixt in de veelgebruikte objectgerichte programmeertaal Java. Het gaat om een fout in een veel toegepast ...