Publication:

Verification of source code transformations by program equivalence checking

Date

2005-04

Proceedings Paper

Simple item page Full metadata Statistics

Author(s)

Kodamballi, Shashi

;

Bruynooghe, Maurice

;

Catthoor, Francky

;

Janssens, Gerda

Metrics

1916 since deposited on 2021-10-16

Acq. date: 2025-12-09