Fingeraftryk
Dyk ned i forskningsemnerne om 'Size-change termination and transition invariants'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Size-change termination and transition invariants
Matthias Heizmann, Neil Jones, Andreas Podelski