Verifying procedural programs via constrained rewriting induction

Carsten Fuhs, Cynthia Louisa Martina Kop, Naoki Nishida

10 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verifying procedural programs via constrained rewriting induction'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab