Analyzing spreadsheets for parallel execution via model checking

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

1 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Analyzing spreadsheets for parallel execution via model checking'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab