Fingeraftryk
Dyk ned i forskningsemnerne om 'Proving refinement using transduction'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Proving refinement using transduction
Camilla Østerberg Rump, Bengt Jonsson, Amir Pnueli
15
Citationer
(Scopus)