Abstract certification of java programs in rewriting logic

Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs […]

, , , , ,