Simulation Relations and Applications in Formal Methods

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Simulation Relations and Applications in Formal Methods'. Sammen danner de et unikt fingeraftryk.

Computer Science

Keyphrases