A Translation-based Approach to the Verification of Modular Equivalence

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut591-613
JulkaisuJournal of Logic and Computation
Vuosikerta19
Numero4
TilaJulkaistu - 2009
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 3584090